Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

spl generics [28 articles]

Recent papers added to spl library classified by the tag generics. You can also see everyone's generics.
  • Generic Programming: An Introduction
    Advanced Functional Programming (1999), pp. 28-115.
    by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens
    edited by Doaitse S Swierstra, Pedro R Henriques, José N Oliveira
    posted to unification polyp libraries introduction generics datatype-generic category-theory by spl on 2008-08-08 14:25:57 as *** along with 1 person americovargas
  • PolyLib---a library of polytypic functions
    (18 July 1998)
    by Patrik Jansson, Johan Jeuring
    edited by Roland Backhouse, Tim Sheard
    posted to zip transpose polyp libraries generics datatype-generic bifunctors by spl on 2008-06-11 16:36:49 as ***
  • Polytypic Programming in Haskell
    Implementation of Functional Languages (September 2003), pp. 168-184.
    by Ulf Norell, Patrik Jansson
    posted to type-classes libraries haskell generics datatype-generic by spl on 2008-06-06 16:15:56 as **
  • Functor Pulling
    (18 July 1998)
    by Lambert Meertens
    edited by Roland Backhouse, Tim Sheard
    posted to transpose generics functors crush category-theory by spl on 2008-06-06 15:47:32 as ***
  • Uniform Boilerplate and List Processing
    (2007), pp. 49-60.
    by Neil Mitchell, Colin Runciman
    posted to traversals generics boilerplate by spl on 2008-06-02 13:11:08 as *** along with 1 person sebfisch
  • Generalizing generalized tries
    Journal of Functional Programming, Vol. 10, No. 04. (2000), pp. 327-351.
    by Ralf Hinze
    edited by Paul Hudak, Greg Morrisett
    posted to tries rank-2-polymorphism haskell generics datatype-generic by spl on 2008-05-28 17:36:27 as ***
  • A New Approach to Generic Functional Programming
    (2000), pp. 119-132.
    by Ralf Hinze
    posted to type-indexed haskell generics datatype-generic by spl on 2008-05-24 13:17:48 as **
  • Memo functions, polytypically!
    (6 July 2000)
    by Ralf Hinze
    edited by Johan Jeuring
    posted to tries non-strict-evaluation memoization haskell generics datatype-generic by spl on 2008-05-23 10:36:01 as read
  • Calculate Polytypically!
    (1996), pp. 1-16.
    by Lambert Meertens
    posted to generics datatype-generic crush catamorphism by spl on 2008-04-29 10:31:42 as **
  • Modular Generic Programming with Extensible Superclasses
    (2006), pp. 55-65.
    by Martin Sulzmann, Meng Wang
    posted to type-classes haskell generics extensibility by spl on 2008-04-28 08:04:25 as ** along with 1 person jpbernardy
  • Fun with phantom types
    (27 March 2003), pp. 245-262.
    by Ralf Hinze
    edited by Jeremy Gibbons, Oege de Moor
    posted to phantom-types generics dynamically-typed by spl on 2008-04-23 18:22:43 as ** along with 2 people thsutton jimburton
  • First-Class Phantom Types
    No. TR2003-1901. (10 July 2003)
    by James Cheney, Ralf Hinze
    posted to phantom-types haskell generics by spl on 2008-04-23 17:41:46 as **
  • Generic Haskell: Applications
    Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96.
    by Ralf Hinze, Johan Jeuring
    posted to zipper xml generics generic-haskell dictionaries datatype-generic by spl on 2008-04-23 11:02:06 as ***
  • Generic Views on Data Types
    Mathematics of Program Construction (July 2006), pp. 209-234.
    by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
    posted to views generics generic-haskell datatype-generic by spl on 2008-04-21 09:44:21 as ***
  • Exploring Generic Haskell
    (2004)
    by Andres Löh
    posted to datatype-generic generic-haskell generics thesis type-indexed type-inference views by spl on 2008-04-15 13:09:01 as ***
  • RepLib: A Library for Derivable Type Classes
    (2006), pp. 1-12.
    by Stephanie Weirich
    posted to deriving generics haskell type-classes by spl on 2008-04-12 20:22:11 as ** along with 3 people huitseeker zednenem keigoi
  • Derivable Type Classes
    (17 September 2000)
    by Ralf Hinze, Simon P Jones
    edited by Graham Hutton
    posted to deriving generics haskell type-classes by spl on 2008-04-12 20:09:29 as *** along with 3 people zednenem conal americovargas
  • Comparing Approaches to Generic Programming in Haskell
    Datatype-Generic Programming (2007), pp. 72-149.
    by Ralf Hinze, Johan Jeuring, Andres Löh
    posted to comparison datatype-generic generic-haskell generics haskell by spl on 2008-04-04 11:38:26 as read
  • Datatype-Generic Programming
    Datatype-Generic Programming (2007), pp. 1-71.
    by Jeremy Gibbons
    posted to datatype-generic design-patterns generics haskell by spl on 2008-04-03 12:47:52 as read along with 3 people marcinzalewski jpbernardy americovargas
  • Scrap More Boilerplate: Reflection, Zips, and Generalised Casts
    Vol. 39, No. 9. (September 2004), pp. 244-255.
    by Ralf Lämmel, Simon P Jones
    posted to boilerplate generics haskell reflection zip by spl on 2008-03-31 18:46:01 as *** along with 4 people and 2 groups samth greenrd yallop americovargas NU-PRL SRG_at_UCD
  • Prototyping Generic Programming in Template Haskell
    Mathematics of Program Construction (2004), pp. 314-333.
    by Ulf Norell, Patrik Jansson
    posted to generics haskell template-haskell by spl on 2008-03-31 10:59:29 as **
  • Extensible and Modular Generics for the Masses
    Vol. 7 (2006), pp. 199-216.
    by Bruno CDS Oliveira, Ralf Hinze, Andres Löh
    edited by Henrik Nilsson
    posted to type-classes modularity lightweight haskell generics extensibility expression-problem emgm datatype-generic ad-hoc-polymorphism by spl on 2008-03-11 14:18:57 as read along with 1 person americovargas
  • Open Data Types and Open Functions
    (2006), pp. 133-144.
    by Andres Löh, Ralf Hinze
    posted to expression-problem extensibility generics haskell lightweight mutual-recursion open by spl on 2008-02-24 16:19:16 as ** along with 1 person yallop
  • A Lightweight Implementation of Generics and Dynamics
    (2002), pp. 90-104.
    by James Cheney, Ralf Hinze
    posted to lightweight implementation generics dynamically-typed by spl on 2008-02-14 13:12:11 as *** along with 2 people eaubin yallop
  • TypeCase: A Design Pattern for Type-Indexed Functions
    (2005), pp. 98-109.
    by Bruno C Oliveira, Jeremy Gibbons
    posted to design-patterns generics haskell type-classes type-indexed by spl on 2008-02-14 12:55:17 as *** along with 2 people yallop voigt
  • Generics for the Masses
    Vol. 39, No. 9. (September 2004), pp. 236-243.
    by Ralf Hinze
    posted to type-classes haskell generics emgm datatype-generic by spl on 2008-02-14 12:51:10 as read along with 3 people and 1 group samth yallop bringert NU-PRL
  • Constructing Universes for Generic Programming
    (November 2007)
    by Peter Morris
    posted to containers dependent-types epigram generics strictly-positive thesis universes zipper by spl on 2008-01-31 12:29:16 as *****
  • notes Clowns to the Left of me, Jokers to the right: Dissecting Data Structures
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 287-295.
    by Conor Mcbride
    posted to zipper haskell generics functors derivatives datatype-generic bifunctors by spl on 2008-01-25 19:05:36 as read along with 2 people beete bobob
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/spl/tag/generics

    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.