Register | Log in | FAQ      [?] 

Tag fp [86 articles]

Recent papers classified by the tag fp.
  • Trampolining Architectures
    by Steven E Ganz, Daniel P Friedman
    posted to continuation fp monads by zednenem on 2005-08-04 19:38:16 as ** along with 3 people and 1 group dalev JeffreyPalmer eblood NU-PRL
  • 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
    posted to collections fp query by zednenem on 2005-07-31 04:39:24 as read along with 5 people and 2 groups hellige JacquesC JeffreyPalmer ezrakilty jog NU-PRL WebTech
  • 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
    posted to attribute-grammars fp by zednenem on 2005-08-15 17:49:52 as read along with 4 people and 1 group dherman jrw mbravenboer dfisher NU-PRL
  • Trampolined Style
    (1999), pp. 18-27.
    by Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to continuation fp monads trampoline-style by zednenem on 2005-08-04 19:35:00 as ** along with 2 people JeffreyPalmer eblood
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
    posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as read along with 9 people and 1 group draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
  • 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
    posted to dataflow devel fp lisp paradigm scheme stream by vlasovskikh on 2008-05-29 01:47:50 as **** along with 9 people olegus dullhunk brady awils1 calvins robotact jasmithoffice srccheck olesya
  • Concepts, Techniques, and Models of Computer Programming
    (01 March 2004)
    by Peter V Van Roy, Seif Haridi
    posted to concurrency distrsys fp language oop paradigm by vlasovskikh on 2008-04-08 23:53:22 as **** along with 13 people and 1 group robertlischke olegus hamish ujh grzegorz 4vgacias mahler wadler ben_moseley fsteeg jonathlela NSumner jasmithoffice Rightscom
  • 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
    posted to fp by twleung on 2004-12-25 10:12:53 along with 10 people and 6 groups samth dherman jacob hamish greenrd voigt yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
  • 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
    posted to categories computation fp by oryp6518 on 2006-09-21 11:36:25 as *** along with 5 people and 1 group jrw zednenem mstone rgb cognominal pileWorks
  • 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
    posted to fp by oryp6518 on 2007-06-01 11:51:01 as read along with 3 people and 2 groups kinaba smazanek kozaki GraphTheory modeling
  • Functional programming with bananas, lenses, envelopes and barbed wire
    (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    posted to fp by oryp6518 on 2006-06-01 12:02:34 as ** along with 10 people and 3 groups greenrd yallop jyasskin voigt dmitri83 aleks rgb bringert wtribbey spl SRG_at_UCD Compilers pileWorks
  • 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.
    by G Bertin, L Ciotti, M Del Principe
    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.
    by DE Mclaughlin, RP van der Marel
    posted to catalogues extendendhalosaroundextragalacticgcs extragalacticgcphot fornax fp lmc peculiarfeatures powerlawmodels smc wilsonsphere by marione on 2008-02-09 21:53:49 as read
  • 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.
    by M Rejkuba, P Dubath, D Minniti, G Meylan
    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.
    by M Bellazzini
    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
    posted to cosmlogicalorigin fp gchostgalaxyrelationship hbmorphology merging metallicities by marione on 2008-04-16 10:55:45 as **
  • 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
    posted to fp gene ontology ppi reduction by iris_2001 on 2007-07-26 08:19:20 as ** along with 5 people and 1 group chad_davis grahamc mingzhi cerca penpen926 ParkinsonLab_at_MaRS
  • 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
    posted to 2r fp by icq242500260 on 2008-07-22 17:23:23 as ** along with 3 people and 1 group djkt clearbluespring stajich Berkeley Mycology
  • 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
    posted to db tf fp 2r by icq242500260 on 2008-07-25 13:31:50 as ** along with 3 people and 1 group kengg braingrind nklee Plantandetc
  • 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
    posted to fp functionalprogramming languagedesign lineartypes types typetheory typing by hamish on 2005-08-21 17:29:43 as ** along with 11 people and 2 groups draganigajic dherman JacquesC JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds mcclurmc NU-PRL Lambda the Ultimate
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones
    posted to fp functionalprogramming haskell haskelllang parproc by hamish on 2007-10-10 10:36:42 as ** along with 8 people jrw tautologico voigt msakai neilc benchambers kazuya brecknell
  • How to be correct, lazy and efficient ?
    (25 Jul 2007)
    by Catherine Recanati
    posted to fp functionalprogramming languagedesign languageimplementation lisp by hamish on 2007-07-27 19:02:57 as ** along with 1 person jrw
  • A user-centred approach to functions in excel
    (2003), pp. 165-176.
    by Simon P Jones, Alan Blackwell, Margaret Burnett
    posted to excel fp functional functionalprogramming languagedesign spreadsheet by hamish on 2007-11-06 12:02:28 as read along with 5 people and 1 group himosqui robertlischke alisonruth msakai keigoi SITCRC
  • 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
    posted to extensibleml fp ml modular oop typechecking typesystem by hamish on 2005-07-18 12:14:06 as ** along with 1 person dsilva
    • 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.