Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jpbernardy's library [96 articles]

Recent papers added to jpbernardy's library.
  • Dynamic applications from the ground up
    (2005), pp. 27-38.
    by Don Stewart, Manuel MT Chakravarty
    posted to haskell by jpbernardy on 2008-07-22 15:10:46 as read along with 4 people hamish JeffreyPalmer voigt byorgey
  • Visual haskell: a full-featured haskell development environment
    (2005), pp. 5-16.
    by Krasimir Angelov, Simon Marlow
    posted to haskell by jpbernardy on 2008-07-22 14:18:11 as **
  • Why Functional Programming Matters
    Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107.
    by J Hughes
    posted to haskell by jpbernardy on 2008-07-22 09:45:12 as ** along with 6 people and 1 group sclv joelh lomeo pilho calvins mcclurmc functional programming
  • Xmonad
    (2007), pp. 119-119.
    by Don Stewart, Spencer Sjanssen
    posted to haskell by jpbernardy on 2008-07-22 09:19:17 as read along with 1 person sebfisch
  • Generic Programming in Ωmega
    Datatype-Generic Programming, Vol. Volume 4719/2007 (2007), pp. 258-284.
    by Tim Sheard
    posted to wgp08 by jpbernardy on 2008-07-17 09:56:40 as **
  • Essential Language Support for Generic Programming
    (June 2005), pp. 73-84.
    by Jeremy G Siek, Andrew Lumsdaine
    posted to file-import-08-06-27 concept by jpbernardy on 2008-06-27 10:20:43 as **
  • Understanding functional dependencies via constraint handling rules
    J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 83-129.
    by Martin Sulzmann, Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey
    posted to typeclass by jpbernardy on 2008-06-24 09:00:47 as ** along with 4 people hamish msakai keigoi cognominal
  • Modular generic programming with extensible superclasses
    (2006), pp. 55-65.
    by Martin Sulzmann, Meng Wang
    posted to typeclass open by jpbernardy on 2008-06-18 20:49:42 as **** along with 1 person spl
  • On understanding types, data abstraction, and polymorphism
    ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
    by Luca Cardelli, Peter Wegner
    posted to no-tag by jpbernardy on 2008-06-16 13:02:42 as read along with 7 people and 1 group marcinzalewski dalev voigt Bluetulip cogumbreiro nodakai chandlerc NU-PRL
  • Applicative programming with effects
    Journal of Functional Programming, Vol. 18, No. 01. (2007), pp. 1-13.
    by Conor Mcbride, ROSS Paterson
    posted to no-tag by jpbernardy on 2008-06-16 11:49:51 as ** along with 2 people fgeller americovargas
  • Restricted Datatypes in Haskell
    (1999)
    by J Hughes
    posted to no-tag by jpbernardy on 2008-06-11 15:05:17 as ** along with 2 people sclv msakai
  • notes The expression lemma
    (July 2008)
    by Ralf Lämmel, Ondrej Rypacek
    posted to open by jpbernardy on 2008-06-04 10:05:00 as **
  • Generic programming and the STL: using and extending the C++ Standard Template Library
    (1998)
    by Matthew H Austern
    posted to concept by jpbernardy on 2008-06-02 13:06:35 as *
  • Lightweight static resources, for safe embedded and systems programming
    (2007)
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to typelevel programming by jpbernardy on 2008-06-02 11:01:26 as **
  • http://okmij.org/ftp/Haskell/types.html#class-based-dispatch
    by Oleg Kiselyov
    posted to typeclass by jpbernardy on 2008-05-30 16:22:04 as **
  • Polymorphic variants: solving the expression problem
    (2 July 2006)
    by Oleg Kiselyov
    posted to open by jpbernardy on 2008-05-30 09:04:16 as ****
  • Haskell 98 Language and Libraries: the Revised Report
    (2003)
    by Simon Peyton Jones
    posted to file-import-08-05-29 by jpbernardy on 2008-05-29 14:25:55 as **
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to typeclass by jpbernardy on 2008-05-29 11:54:06 as ** along with 7 people and 2 groups dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke NU-PRL complogic
  • A system of constructor classes: overloading and implicit higher-order polymorphism
    (1993), pp. 52-61.
    by Mark P Jones
    posted to typeclass by jpbernardy on 2008-05-19 14:05:05 as ** along with 1 person yallop
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf Lämmel, Keean Schupke
    posted to hlist by jpbernardy on 2008-05-19 13:43:46 as **
  • Deriving Generic Functions by Example
    (October 2007), pp. 55-62.
    by Neil Mitchell
    edited by Jan T Mühlberg, Juan I Perna
    posted to polytypic by jpbernardy on 2008-05-15 16:14:10 as **
  • Template meta-programming for Haskell
    SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
    by Tim Sheard, Simon Peyton Jones
    posted to template haskell by jpbernardy on 2008-05-15 16:08:41 as ** along with 9 people and 2 groups samth marcin msakai kozima spl keigoi TTSY dhag mcclurmc NU-PRL complogic
  • Type Classes with Functional Dependencies
    Programming Languages and Systems (2000), pp. 230-244.
    by Mark Jones
    posted to typeclass by jpbernardy on 2008-05-15 15:31:18 as **
  • C++ Templates: The Complete Guide
    (22 November 2002)
    by David Vandevoorde, Nicolai M Josuttis
    posted to wgp08 templates cpp by jpbernardy on 2008-05-15 15:13:22 as ** along with 1 person michaelbussmann
  • A system of constructor classes: overloading and implicit higher-order polymorphism
    (1993), pp. 52-61.
    by Mark P Jones
    posted to typeclass by jpbernardy on 2008-05-15 14:58:07 as ** along with 1 person SamB
  • Library composition and adaptation using \\Cpp concepts
    (2007), pp. 73-82.
    by J Järvi, M Marcus, J Smith
    edited by C Consel, J Lawall
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:36 as **
  • A Formalization of Concepts for Generic Programming
    (April 2004)
    by Jeremiah Willcock, Jaakko Järvi, Andrew Lumsdaine, David Musser
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:36 as **
  • Concepts for the \\Cpp0x Standard Library: Containers
    No. N2085=06-0155. (Sept 2006)
    by D Gregor
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:36 as **
  • notes Proposed Wording for Concepts (Revision 4)
    No. D2501. (January 2007)
    by D Gregor, B Stroustrup, J Siek, James Widman
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:36 as **
  • Proposed Wording for Concepts (Revision 3)
    No. N2421=07-0281. (Oct 2007)
    by D Gregor, B Stroustrup, J Siek, James Widman
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:36 as **
  • ConceptGCC --- a prototype compiler for \\Cpp concepts
    (January 2008)
    by Douglas Gregor
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:35 as **
  • A comparative study of language support for generic programming
    (2003), pp. 115-134.
    by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:35 as **
  • Dictionary-Free Overloading by Partial Evaluation
    LISP and Symbolic Computation, Vol. 8, No. 3. (1994), pp. 229-248.
    by Mark P Jones
    posted to wgp08 typeclass sibylle by jpbernardy on 2008-05-09 10:20:35 as **
  • Working Draft, Standard for Programming Language \\cpp
    No. N2461=07-0331. (October 2007)
    by Pete Becker
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:35 as **
  • Core Concepts for the \\cpp0x Standard Library
    No. D2502=08-0012. (January 2008)
    by D Gregor, A Lumsdaine
    posted to wgp08 sibylle by jpbernardy on 2008-05-09 10:20:35 as **
  • Type Checking with Open Type Functions
    by Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
    posted to typeclass by jpbernardy on 2008-05-09 10:16:09 as **
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow
    posted to typeclass by jpbernardy on 2008-05-09 09:55:37 as ** along with 10 people and 2 groups samth greenrd zednenem bec voigt msakai bonotake spl gkuan americovargas NU-PRL SRG_at_UCD
  • Towards open type functions for Haskell
    (September 2007)
    by Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, Manuel Chakravarty
    posted to typeclass open by jpbernardy on 2008-05-09 09:41:38 as **
  • Associated type synonyms
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon Peyton Jones
    posted to typeclass by jpbernardy on 2008-05-09 09:29:59 as ** along with 1 person spl
  • System F with type equality coercions
    (2007), pp. 53-66.
    by Martin Sulzmann, Manuel MT Chakravarty, Simon Peyton Jones, Kevin Donnelly
    posted to typeclass by jpbernardy on 2008-05-07 14:21:15 as ** along with 1 person and 1 group mcclurmc Lambda the Ultimate
  • Algebra of programming
    (1997)
    by Richard Bird, Oege de Moor
    posted to aop by jpbernardy on 2008-05-02 14:15:45 as ** along with 2 people marcinzalewski pile
  • Data types à la carte
    Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
    by Wouter Swierstra
    posted to open aop by jpbernardy on 2008-05-01 09:34:08 as *** along with 1 person pedagand
  • The Essence of the Iterator Pattern
    (2 July 2006)
    by Jeremy Gibbons, Bruno C Oliveira
    edited by Conor Mcbride, Tarmo Uustalu
    posted to aop by jpbernardy on 2008-04-30 13:44:58 as ** along with 1 person bringert
  • Bulk types with class
    (1996)
    by Simon Peyton Jones
    posted to typeclass by jpbernardy on 2008-04-25 12:30:03 as ** along with 1 person americovargas
  • Type classes: an exploration of the design space
    (1997)
    by Simon Peyton Jones, Mark Jones, Erik Meijer
    posted to typeclass by jpbernardy on 2008-04-25 12:29:20 as ** along with 1 person linekin
  • Reverse program calculation supported by code slicing
    Reverse Engineering, 2001. Proceedings. Eighth Working Conference on (2001), pp. 35-45.
    by G Villavicencio, JN Oliveira
    posted to aop by jpbernardy on 2008-04-23 15:34:01 as **
  • Foundations for structured programming with GADTs
    (2008), pp. 297-308.
    by Patricia Johann, Neil Ghani
    posted to aop by jpbernardy on 2008-04-23 14:49:33 as **
  • Calculate polytypically!
    Programming Languages: Implementations, Logics, and Programs (1996), pp. 1-16.
    by Lambert Meertens
    posted to aop by jpbernardy on 2008-04-23 14:27:46 as read
  • Generalised folds for nested datatypes
    Formal Aspects of Computing, Vol. 11, No. 2. (1999), pp. 200-222.
    by Richard Bird, Ross Paterson
    posted to aop by jpbernardy on 2008-04-23 14:24:59 as **
  • One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
    Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science (1999), pp. 751-751.
    by Andrew Frank
    posted to aop by jpbernardy on 2008-04-23 13:57:55 as **
    • Note: You may cite this page as: http://www.citeulike.org/user/jpbernardy

    Result page: 1 2 Next RIS BibTeX RSS
    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.