Register | Log in | FAQ      [?] 

Tag fp [86 articles]

Recent papers classified by the tag fp.
  • Trampolining Architectures
    by Steven E Ganz, Daniel P Friedman
  • Sound and Decidable Type Inference for Functional Dependencies
    (2004)
    by Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey, Martin Sulzmann
    posted to fp fundeps haskell type-classes by zednenem on 2005-08-13 10:08:25 as read along with 1 person tov
  • Compositional References for Stateful Functional Programming
    Vol. 32(8) (1997), pp. 217-226.
    by Koji Kagawa
    posted to composable-references fp by zednenem on 2007-06-05 02:52:43 as read
  • Principles of programming with complex objects and collection types
    Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48.
    by Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong
  • A Functional Programming Technique for Forms in Graphical User Interfaces
    Implementation and Application of Functional Languages (2005), pp. 35-51.
    by Sander Evers, Peter Achten, Jan Kuper
    posted to composable-references fp gui haskell by zednenem on 2007-06-05 02:56:45 as read
  • More haste, less speed: lazy versus eager evaluation
    J. Funct. Program., Vol. 7, No. 5. (September 1997), pp. 541-547.
    by Richard Bird, Geraint Jones, Oege De Moor
    posted to fp lazy-evaluation by zednenem on 2005-07-28 19:59:07 as read
  • Programming Paradigms of the Andorra Kernel Language
    (1991), pp. 167-186.
    by Sverker Janson, Seif Haridi
    edited by Vijay Saraswat, Kazunori Ueda
    posted to fp haskell logic-programming multiparadigm oz by zednenem on 2005-08-01 17:39:56 as **
  • Attribute grammars as a functional programming paradigm
    (1987), pp. 154-173.
    by Thomas Johnsson
  • Trampolined Style
    (1999), pp. 18-27.
    by Steven E Ganz, Daniel P Friedman, Mitchell Wand
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
  • Haskell as an Automation Controller
    (1998), pp. 268-289.
    by Daan Leijen, Erik Meijer, James Hook
    posted to fp haskell plc by voronov on 2007-12-15 10:11:47 as **
  • Structure and Interpretation of Computer Programs
    (25 July 1996)
    by Harold Abelson, Gerald J Sussman
  • Concepts, Techniques, and Models of Computer Programming
    (01 March 2004)
    by Peter V Van Roy, Seif Haridi
  • Set Constraints for Destructive Array Update Optimization
    (1998)
    by M Wand, WD Clinger
    posted to fp by twleung on 2004-12-25 10:12:30 along with 1 person and 1 group dherman NU-PRL
  • Why no one uses functional languages
    SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
    by Philip Wadler
  • Testing for allergic disease: Parameters considered and test value
    BMC Family Practice, Vol. 9 (26 August 2008), 47.
    by Sheryl L Szeinbach, Spencer E Harpe, Brock P Williams, Hanaa Elhefni
    posted to allergy fp ige primarycare by pathanaway on 2008-08-29 15:56:05 as read
  • Bananas in Space: Extending Fold and Unfold to Exponential Types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to categories fp types by oryp6518 on 2007-06-20 11:01:22 as ** along with 1 person armintroy
  • De Bruijn Notation as a Nested Datatype
    Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91.
    by Richard S Bird, Ross Paterson
    posted to fp types by oryp6518 on 2007-06-20 10:39:24 as **
  • Arrows, like Monads, are Monoids
    Electronic Notes in Theoretical Computer Science, Vol. 158 (5 May 2006), pp. 219-236.
    by Chris Heunen, Bart Jacobs
  • Algebra of Programming, The
    (26 September 1996)
    by Richard Bird, Oege De Moor
    posted to fp by oryp6518 on 2006-06-01 12:06:24 as *** along with 2 people voigt voronov
  • Nested Datatypes
    Vol. 1422 (1998), pp. 52-67.
    by Richard Bird, Lambert Meertens
    edited by J Jeuring
    posted to fp types by oryp6518 on 2007-06-20 10:42:59 as **
  • Local Reasoning about Programs that Alter Data Structures
    Lecture Notes in Computer Science, Vol. 2142 (2001), pp. 1-??.
    by Peter O'Hearn, John Reynolds, Hongseok Yang
    posted to fp imperative semantics by oryp6518 on 2007-06-04 12:57:32 as **
  • Inductive Graphs and Functional Graph Algorithms
    Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492.
    by M Erwig
  • Functional programming with bananas, lenses, envelopes and barbed wire
    (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
  • Parallel and Distributed Haskells
    J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 469-510.
    by PW Trinder, HW Loidl, RF Pointon
    posted to distributed fp haskell parallel by myui on 2008-03-06 08:11:52 as **
  • On the Granularity of Divide-and-Conquer Parallelism
    (1995)
    by HW Loidl, K Hammond
    posted to fp parallel pl by myui on 2007-09-11 00:01:06 as **
  • notes Algorithms + Strategy = Parallelism
    Journal of Functional Programming, Vol. 8, No. 1. (1998), pp. 23-60.
    by Philip W Trinder, Kevin Hammond, Hans W Loidl, Simon
    posted to fp parallel parallelism pl by myui on 2007-09-09 17:33:47 as ****
  • A Semi-monad for Semi-structured Data
    (2001), pp. 263-300.
    by Mary F Fernandez, Jérôme Siméon, Philip Wadler
    posted to fp icdt monad xml xquery by myui on 2007-09-03 19:58:17 as ***
  • Structural Parameters for Globular Clusters in M31 and Generalizations for the Fundamental Plane
    Astron. J., Vol. 133 (June 2007), pp. 2764-2786.
    by P Barmby, DE Mclaughlin, WE Harris, GLH Harris, DA Forbes
    posted to extragalacticgcphot fp by marione on 2008-03-12 17:44:31 as *****
  • Weak homology of elliptical galaxies.
    Astron. Astrophys., Vol. 386 (April 2002), pp. 149-168.
    posted to fp by marione on 2008-04-02 14:21:32 as **
  • Resolved Massive Star Clusters in the Milky Way and Its Satellites: Brightness Profiles and a Catalog of Fundamental Parameters
    Astrophys. J. Supp., Vol. 161 (December 2005), pp. 304-360.
  • A Population of Massive Globular Clusters in NGC 5128
    Astrophys. J., Vol. 610 (July 2004), pp. 233-246.
    by P Martini, LC Ho
    posted to extragalacticgcphot fp ngc5128 by marione on 2008-03-12 17:54:28 as **
  • Dynamically hot galaxies. I - Structural properties
    Astrophys. J., Vol. 399 (November 1992), pp. 462-477.
    by R Bender, D Burstein, SM Faber
    posted to fp kspace by marione on 2008-03-13 16:04:06 as read
  • Bright globular clusters in NGC 5128: the missing link between young massive clusters and evolved massive objects
    Astron. Astrophys., Vol. 469 (July 2007), pp. 147-162.
    posted to extragalacticgcphot fp ngc5128 by marione on 2008-03-12 17:58:34 as **
  • Structural Parameters and Dynamical Masses for Globular Clusters in M33
    Astron. J., Vol. 124 (November 2002), pp. 2615-2624.
    by SS Larsen, JP Brodie, A Sarajedini, JP Huchra
    posted to extragalacticgcphot fp m33 by marione on 2008-02-10 19:43:06 as ****
  • The fundamental straight line of galactic globular clusters
    New Astronomy, Vol. 3 (June 1998), pp. 219-230.
    posted to fp by marione on 2008-02-10 19:33:59 as read
  • On the origin of mass-metallicity relations, blue tilts and scaling relations for metal-poor globular cluster systems
    Mon. Not. Roy. Astron. Soc., Vol. 377 (May 2007), pp. 215-228.
    by K Bekki, H Yahagi, DA Forbes
  • False positive reduction in protein-protein interaction predictions using gene ontology annotations
    BMC Bioinformatics, Vol. 8 (23 July 2007), 262.
    by Mahmoud A Mahdavi, Yen-Han Lin
  • Predicting and Validating Protein Interactions Using Network Structure
    PLoS Comput Biol, Vol. 4, No. 7. (25 July 2008), e1000118.
    by Pao-Yang Chen, Charlotte M Deane, Gesine Reinert
    posted to ppi 2r fp by icq242500260 on 2008-07-27 19:55:15 as ** along with 4 people phoenixzxl roys zwang mingzhi
  • Genomic survey and gene expression analysis of the basic leucine zipper transcription factor family in rice.
    Plant Physiol, Vol. 146, No. 2. (February 2008), pp. 333-350.
    by A Nijhawan, M Jain, AK Tyagi, JP Khurana
    posted to genomic tf fp by icq242500260 on 2008-07-25 13:36:52 as ** along with 2 people hplatero gwenknight
  • The Evolution of the DLK1-DIO3 Imprinted Domain in Mammals
    PLoS Biology, Vol. 6, No. 6. (1 June 2008), e135.
    by Carol A Edwards, Andrew J Mungall, Lucy Matthews, Edward Ryder, Dionne J Gray, Andrew J Pask, Geoffrey Shaw, Jennifer A Graves, Jane Rogers, Ian Dunham, Marilyn B Renfree, Anne C Ferguson-Smith
  • AGRIS and AtRegNet. a platform to link cis-regulatory elements and transcription factors into regulatory networks.
    Plant Physiol, Vol. 140, No. 3. (March 2006), pp. 818-829.
    by SK Palaniswamy, S James, H Sun, RS Lamb, RV Davuluri, E Grotewold
  • Gene Banks Pay Big Dividends to Agriculture, the Environment, and Human Welfare
    PLoS Biology, Vol. 6, No. 6. (1 June 2008), e148.
    by RC Johnson
    posted to fp by icq242500260 on 2008-07-22 17:22:31 as **
  • Trans-natural antisense transcripts including noncoding RNAs in 10 species: implications for expression regulation
    Nucl. Acids Res. (24 July 2008), gkn470.
    by Jiong-Tang Li, Yong Zhang, Lei Kong, Qing-Rong Liu, Liping Wei
    posted to 2r fp by icq242500260 on 2008-07-24 14:23:00 as ** along with 2 people GustavoLacerda aconesa
  • Fluorescence polarization assay to quantify protein-protein interactions.
    Methods in molecular biology (Clifton, N.J.), Vol. 261 (2004), pp. 161-166.
    by SH Park, RT Raines
    posted to 2004 fp method ppi review by higueruelo on 2008-05-24 21:19:14 as **
  • Linear types can change the world!
    (1990), pp. 347-359.
    by P Wadler
    edited by M Broy, C Jones
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones
  • How to be correct, lazy and efficient ?
    (25 Jul 2007)
    by Catherine Recanati
  • A user-centred approach to functions in excel
    (2003), pp. 165-176.
    by Simon P Jones, Alan Blackwell, Margaret Burnett
  • Modular typechecking for hierarchically extensible datatypes and functions
    ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 836-889.
    by Todd Millstein, Colin Bleckner, Craig Chambers
  • Note: You may cite this page as: http://www.citeulike.org/tag/fp

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.