新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jpbernardy library [94 articles]

最近 jpbernardy ordered by to_read.
  • Modular generic programming with extensible superclasses
    (2006), pp. 55-65.
    by Martin Sulzmann, Meng Wang
    posted to open typeclass by jpbernardy on 2008-06-18 20:49:42 as **** along with 1 person spl
  • 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 ****
  • Generic Programming within Dependently Typed Programming
    (2003), pp. 1-20.
    by Thorsten Altenkirch, Conor Mcbride
    posted to aop generic by jpbernardy on 2008-04-10 09:16:39 as ****
  • Datatype-Generic Programming
    Datatype-Generic Programming (2007), pp. 1-71.
    by Jeremy Gibbons
    posted to concept typeclass by jpbernardy on 2008-02-05 10:53:14 as **** along with 3 people spl americovargas marcinzalewski
  • An extended comparative study of language support for generic programming
    J. Funct. Program., Vol. 17, No. 2. (March 2007), pp. 145-205.
    by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock
    posted to concept typeclass by jpbernardy on 2008-02-05 10:47:37 as ****
  • Towards a taxonomy of software change
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 5. (2005), pp. 309-332.
    by Jim Buckley, Tom Mens, Matthias Zenger, Awais Rashid, Günter Kniesel
    posted to evolution by jpbernardy on 2007-09-12 10:17:43 as **** along with 1 person leonardo
  • A Formal Investigation of Diff3
    (2006)
    by Sanjeev Khanna, Keshav Kunal, Benjamin C Pierce
    posted to vc-project vc diff3 bibtex-import by jpbernardy on 2007-09-05 15:43:53 as ****
  • Data types à la carte
    Journal of Functional Programming, Vol. Forthcoming, No. -1. (2008), pp. 1-14.
    by Wouter Swierstra
    posted to aop open by jpbernardy on 2008-05-01 09:34:08 as *** along with 2 people pedagand draganigajic
  • Managing the Evolution of Distributed and Interrelated Components
    Software Con?guration Management (2003), pp. 217-230.
    by Sundararajan Sowrirajan, André Hoek
    posted to evolution by jpbernardy on 2007-09-12 10:18:23 as ***
  • Fine-Grained Revision Control for Collaborative Software Development
    (1993), pp. 21-30.
    by Boris Magnusson, Ulf Asklund, Sten Minör
    posted to vc by jpbernardy on 2007-09-05 16:55:08 as *** along with 1 person and 1 group karimda ecoo-pe
  • A functional correspondence between evaluators and abstract machines
    (2003), pp. 8-19.
    by Mads S Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
    posted to cps by jpbernardy on 2008-10-14 13:43:25 as ** along with 4 people and 1 group dherman jacob eaubin jespera NU-PRL
  • A functional correspondence between call-by-need evaluators and lazy abstract machines
    Information Processing Letters, Vol. 90, No. 5. (15 June 2004), pp. 223-232.
    by Mads S Ager, Olivier Danvy, Jan Midtgaard
    posted to defunc cps by jpbernardy on 2008-10-14 13:32:25 as ** along with 1 person mzp
  • Representing control: a study of the CPS transformation
    posted to cps by jpbernardy on 2008-10-14 13:30:56 as **
  • Three steps for the CPS transformation
    (1991)
    by O Danvy
    posted to cps by jpbernardy on 2008-10-13 20:40:38 as **
  • A comparison of c++ concepts and haskell type classes
    (2008), pp. 37-48.
    by Jean P Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas Priesnitz
    posted to self by jpbernardy on 2008-10-02 09:27:32 as ** along with 1 person marcinzalewski
  • UpgradeJ: Incremental Typechecking for Class Upgrades
    ECOOP 2008 – Object-Oriented Programming (2008), pp. 235-259.
    by Gavin Bierman, Matthew Parkinson, James Noble
    posted to evolution by jpbernardy on 2008-09-01 09:15:48 as **
  • Composing dataflow analyses and transformations
    Vol. 37, No. 1. (January 2002), pp. 270-282.
    by Sorin Lerner, David Grove, Craig Chambers
    posted to cool by jpbernardy on 2008-08-27 08:59:35 as ** along with 2 people surana bec
  • Incremental attribute evaluation: a flexible algorithm for lazy update
    ACM Trans. Program. Lang. Syst., Vol. 13, No. 3. (July 1991), pp. 315-341.
    by Scott E Hudson
    posted to lazy by jpbernardy on 2008-08-25 09:42:38 as **
  • 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 8 people and 1 group pedagand draganigajic joelh lomeo pilho calvins mcclurmc sclv functional programming
  • 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 concept file-import-08-06-27 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
  • 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 americovargas fgeller
  • 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 msakai sclv
  • 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 **
  • Lightweight static resources, for safe embedded and systems programming
    (2007)
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to programming typelevel 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 **
  • 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 9 people and 2 groups draganigajic dherman JacquesC yallop robennals ben_moseley dwehr RalfMitschke pedagand 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 haskell template 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 cpp templates wgp08 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 3 people draganigajic SamB pedagand
  • 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 sibylle wgp08 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 sibylle wgp08 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 sibylle wgp08 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 sibylle wgp08 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 sibylle wgp08 by jpbernardy on 2008-05-09 10:20:36 as **
  • ConceptGCC --- a prototype compiler for \\Cpp concepts
    (January 2008)
    by Douglas Gregor
    posted to sibylle wgp08 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 sibylle wgp08 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 sibylle typeclass wgp08 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 sibylle wgp08 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 sibylle wgp08 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 open typeclass by jpbernardy on 2008-05-09 09:41:38 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/jpbernardy/order/to_read

    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.