Register | Log in | FAQ      [?] 

Tag type-classes [39 articles]

Recent papers classified by the tag type-classes.
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:10:01 as read along with 10 people and 2 groups samth greenrd bec voigt msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
  • Derivable type classes
    (2000)
    by R Hinze, S Jones
    posted to generic-programming haskell type-classes by zednenem on 2007-08-02 11:36:58 as ** along with 3 people spl conal americovargas
  • 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
  • Dictionary-free overloading by partial evaluation
    (1994), pp. 107-117.
    by Mark P Jones
    posted to haskell partial-evaluation type-classes by zednenem on 2008-08-27 01:04:33 as read
  • Functional pearl: implicit configurations--or, type classes reflect the values of types
    (2004), pp. 33-44.
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to implicit-variables type-classes by zednenem on 2005-09-08 17:24:52 as read along with 5 people and 1 group hellige greenrd yallop AndreasSchropp jimburton SRG_at_UCD
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to functional-dependencies functional-programming haskell logic-programming type-classes types by voigt on 2006-10-06 12:03:23 as ** along with 4 people yallop spl huitseeker jimburton
  • Qualified types for MLF
    (2005), pp. 144-155.
    by Daan Leijen, Andres Löh
    posted to functional-programming haskell polymorphism rank-2 type-classes types by voigt on 2005-09-28 09:26:34 as **
  • Bananas in space: extending fold and unfold to exponential types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to category-theory denotational-semantics free-theorems functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2006-05-08 11:27:35 as ** along with 5 people and 1 group JacquesC jyasskin msakai dmitri83 spl NU-PRL
  • Scrap your boilerplate with class: extensible generic functions
    (2005), pp. 204-215.
    by Ralf Lämmel, Simon Peyton-Jones
    posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-09-28 09:43:26 as ** along with 6 people hamish yallop bec kavabean lomeo americovargas
  • High-level views on low-level representations
    (2005), pp. 168-179.
    by Iavor S Diatchki, Mark P Jones, Rebekah Leslie
    posted to dsl functional-dependencies functional-programming haskell operating-systems type-classes types by voigt on 2005-09-28 09:31:00 as read along with 1 person mmuecke
  • Monadic augment and generalised short cut fusion
    (2005), pp. 294-305.
    by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
    posted to category-theory functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 shortcut-deforestation type-classes types by voigt on 2005-09-28 09:56:19 as read along with 2 people msakai wtribbey
  • Associated type synonyms
    (2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon Peyton-Jones
    posted to functional-dependencies functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2005-09-28 09:48:28 as read along with 4 people and 1 group greenrd yallop kinaba americovargas SRG_at_UCD
  • Parametricity and Unboxing with Unpointed Types
    Vol. 1058 (1996), pp. 204-218.
    by John Launchbury, Ross Paterson
    edited by Hanne R Nielson
    posted to denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism seq type-classes types by voigt on 2005-09-09 12:58:40 as read
  • Haskell's overlooked object system
    (10 Sep 2005)
    by Oleg Kiselyov, Ralf Lämmel
    posted to functional-programming haskell objects polymorphism subtyping type-classes types by voigt on 2005-09-13 14:16:56 as ** along with 5 people and 1 group greenrd AndreasSchropp mgran mcclurmc jimburton SRG_at_UCD
  • TypeCase: a design pattern for type-indexed functions
    (2005), pp. 98-109.
    by Bruno C Oliveira, Jeremy Gibbons
    posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-10-06 08:37:09 as ** along with 2 people yallop spl
  • Theorems for free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to denotational-semantics free-theorems functional-programming lambda-calculus logical-relations parametricity polymorphism type-classes types by voigt on 2005-09-13 08:43:30 as read along with 6 people byorgey amp269 spl paper_jac robdockins nominolo
  • Asymptotic Improvement of Computations over Free Monads
    Mathematics of Program Construction, Vol. 5133 (July 2008), pp. 388-403.
    by Janis Voigtländer
    edited by Christine Paulin-Mohring, Philippe Audebaud
    posted to continuations deforestation functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 type-classes types by voigt on 2008-07-28 10:23:57 as read
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to functional-programming haskell polymorphism type-classes types by voigt on 2005-11-10 09:14:52 as ** along with 1 person bringert
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to haskell type-classes by tautologico on 2005-11-10 00:31:18 as ** along with 5 people bunge ds americovargas yoriyuki pedagand
  • Generics for the masses
    Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 451-483.
    by RALF Hinze
    posted to datatype-generic emgm generics haskell type-classes by spl on 2008-08-27 12:24:07 as **
  • Modular Generic Programming with Extensible Superclasses
    (2006), pp. 55-65.
    by Martin Sulzmann, Meng Wang
    posted to extensibility generics haskell type-classes by spl on 2008-04-28 08:04:25 as ** along with 1 person jpbernardy
  • Polytypic Programming in Haskell
    Implementation of Functional Languages (September 2003), pp. 168-184.
    by Ulf Norell, Patrik Jansson
    posted to datatype-generic generics haskell libraries type-classes by spl on 2008-06-06 16:15:56 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 zednenem keigoi huitseeker
  • Generics for the Masses
    Vol. 39, No. 9. (September 2004), pp. 236-243.
    by Ralf Hinze
    posted to datatype-generic emgm generics haskell type-classes by spl on 2008-02-14 12:51:10 as read along with 6 people and 1 group draganigajic ancechu samth yallop bringert pedagand NU-PRL
  • 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 ad-hoc-polymorphism datatype-generic emgm expression-problem extensibility generics haskell lightweight modularity type-classes by spl on 2008-03-11 14:18:57 as read along with 1 person americovargas
  • Type Classes with Functional Dependencies
    (2000), pp. 230-244.
    by Mark P Jones
    posted to functional-dependencies haskell type-classes by spl on 2008-04-19 10:46:18 as *** along with 1 person msakai
  • Associated Type Synonyms
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones
    posted to associated-types functional-dependencies haskell type-classes by spl on 2008-04-11 13:50:16 as read along with 1 person jpbernardy
  • Scrap your boilerplate: a practical design pattern for generic programming
    Vol. 38, No. 3. (March 2003), pp. 26-37.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to haskell polytypic type-classes by samth on 2005-02-21 16:01:32 as read along with 3 people and 2 groups greenrd yallop americovargas NU-PRL SRG_at_UCD
  • Scrap more boilerplate: reflection, zips, and generalised casts
    Vol. 39, No. 9. (September 2004), pp. 244-255.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to haskell polytypic type-classes by samth on 2005-02-21 16:01:21 as read along with 4 people and 2 groups greenrd yallop spl americovargas NU-PRL SRG_at_UCD
  • Type Classes in Haskell
    ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
    by Cordelia V Hall, Kevin Hammond, SLP Simon, Philip L Wadler
    posted to haskell type-classes by robennals on 2005-11-21 11:16:15 as read along with 4 people and 2 groups dherman rgb tov bendiken NU-PRL pileWorks
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to type-classes by robennals on 2005-11-21 11:20:30 as ** along with 9 people and 2 groups draganigajic dherman JacquesC yallop ben_moseley dwehr RalfMitschke jpbernardy pedagand NU-PRL complogic
  • Software extension and integration with type classes
    (2006), pp. 161-170.
    by Ralf Lämmel, Klaus Ostermann
    posted to software-design software-extension type-classes by RalfMitschke on 2008-01-18 10:29:32 as **
  • How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
    posted to functional-programming generic generic-programming haskell type-classes type-theory types by lomeo on 2006-03-29 15:00:09 as **** along with 5 people msakai tov gds SamB gkuan
  • A history of Haskell: being lazy with class
    (2007)
    by Paul Hudak, John Hughes, Simon P Jones, Philip Wadler
    posted to functional_programming haskell lazy_evaluation type-classes type_systems by Leho on 2007-12-26 12:38:30 as **** along with 1 person chandlerc
  • Faking it---simulating dependent types in Haskell
    (2001)
    by C Mcbride
    posted to dependent-types haskell type-classes by dherman to the group NU-PRL on 2004-12-23 15:02:05 along with 6 people and 1 group draganigajic twleung JacquesC greenrd tov sclv SRG_at_UCD
  • Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Mark P Jones
    posted to functional-dependencies haskell type-classes types by dherman to the group NU-PRL on 2004-12-23 16:59:01 along with 11 people and 2 groups draganigajic twleung greenrd cedricboidin msakai bonotake tov calvins BMeph jimburton huitseeker SRG_at_UCD Lambda the Ultimate
  • Faking it Simulating dependent types in Haskell
    J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
    by Conor Mcbride
    posted to dependent-types haskell type-classes by dalev to the group NU-PRL on 2005-08-02 04:10:32 as ** along with 1 person americovargas
  • Software extension and integration with type classes
    (2006), pp. 161-170.
    by Ralf Lämmel, Klaus Ostermann
    posted to decomposition-problem design-patterns expression-problem framework-integration haskell multiple-dispatch software-extension software-integration type-classes by AndreasSchropp on 2007-01-04 00:43:05 as ****
  • A theory of overloading
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 6. (November 2005), pp. 1216-1269.
    by Peter J Stuckey, Martin Sulzmann
    posted to functional-dependencies haskell overloading type-classes by AndreasSchropp on 2007-03-15 18:02:15 as **** along with 1 person yallop
    • Note: You may cite this page as: http://www.citeulike.org/tag/type-classes

    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.