Register | Log in | FAQ      [?] 

Tag typeclasses [39 articles]

Recent papers classified by the tag typeclasses.
  • A parametric extension of Haskell's type classes
    (1994)
    by Kung Chen
    posted to typeclasses by yallop on 2006-10-29 22:20:39 as **
  • Type classes with existential types
    (1996)
    by K Aufer
    posted to existentials typeclasses by yallop on 2006-10-29 22:19:44 as **
  • Open data types and open functions
    (2006), pp. 133-144.
    by Andres L&\#246;h, Ralf Hinze
    posted to extensibility overloading typeclasses by yallop on 2006-12-14 11:08:04 as ** along with 1 person spl
  • Combining Type Classes and Existential Types
    (1994)
    by K Laufer
    posted to existentials typeclasses by yallop on 2006-10-29 22:19:07 as **
  • A theory of qualified types
    (1992), pp. 287-306.
    by Mark P Jones
    posted to typeclasses by yallop on 2006-10-29 22:19:00 as **
  • Parametric type classes
    (1992), pp. 170-181.
    by Kung Chen, Paul Hudak, Martin Odersky
    posted to typeclasses by yallop on 2006-10-29 22:18:54 as ** along with 1 person tov
  • Associated type synonyms
    (2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones
    posted to associatedtypes typeclasses by yallop on 2006-10-29 22:16:52 as ** along with 4 people and 1 group greenrd kinaba voigt americovargas SRG_at_UCD
  • Functional pearl: implicit configurations--or, type classes reflect the values of types
    (2004), pp. 33-44.
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to configurations functionalpearl typeclasses by yallop on 2006-10-29 22:16:43 as ** along with 5 people and 1 group hellige greenrd zednenem AndreasSchropp jimburton SRG_at_UCD
  • Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 230-??.
    by Mark P Jones
    posted to typeclasses by yallop on 2006-10-29 22:12:44 as **
  • A static semantics for Haskell
    (1992)
    by Simon, Philip Wadler
    posted to typeclasses by yallop on 2006-10-29 22:12:37 as **
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to typeclasses by yallop on 2006-10-29 22:12:10 as ** along with 3 people huitseeker voigt spl
  • Haskell-style Overloading is NP-hard
    pp. 88-94.
    by DM Volpano
    posted to typeclasses by yallop on 2006-10-29 22:11:57 as **
  • Parametric Overloading in Polymorphic Programming Languages
    (1988), pp. 131-144.
    by Stefan Kaes
    posted to typeclasses by yallop on 2006-10-29 22:10:24 as ** along with 1 person tov
  • A Second Look at Overloading
    (1995), pp. 135-146.
    by Martin Odersky, Philip Wadler, Martin Wehr
    posted to typeclasses by yallop on 2006-10-29 22:10:11 as ** along with 2 people msakai robotact
  • Type Classes with Functional Dependencies
    Lecture Notes in Computer Science : Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. Proceedings (2000), 230.
    by Mark P Jones
    posted to fundeps typeclasses by yallop on 2006-12-14 11:18:10 as **
  • Type classes: an exploration of the design space
    (1997)
    by S Jones, M Jones, E Meijer
    posted to typeclasses by yallop on 2006-10-29 22:09:51 as ** along with 1 person tov
  • Sound and Decidable Type Inference for Functional Dependencies
    Lecture Notes in Computer Science : Programming Languages and Systems (2004), pp. 49-63.
    by Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey, Martin Sulzmann
    posted to fundeps typeclasses typing by yallop on 2006-12-14 11:16:56 as ** along with 1 person AndreasSchropp
  • Dictionary-free overloading by partial evaluation
    Lisp Symb. Comput., Vol. 8, No. 3. (September 1995), pp. 229-248.
    by Mark P Jones
    posted to typeclasses by yallop on 2006-10-29 22:09:45 as **
  • Implementing Haskell Overloading
    (1993), pp. 65-73.
    by Lennart Augustsson
    posted to typeclasses by yallop on 2006-10-29 22:09:41 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 hmx overloading typeclasses by yallop on 2006-12-14 11:16:17 as ** along with 1 person AndreasSchropp
  • Haskell overloading is DEXPTIME-complete
    Inf. Process. Lett., Vol. 52, No. 2. (October 1994), pp. 57-60.
    by Helmut Seidl
    posted to typeclasses by yallop on 2006-10-29 22:09:35 as **
  • Semantics of type classes revisited
    SIGPLAN Lisp Pointers, Vol. VII, No. 3. (1994), pp. 208-219.
    by Satish R Thatt&\#233;
    posted to typeclasses by yallop on 2006-10-29 22:08:50 as **
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to typeclasses by yallop on 2006-10-29 22:08:46 as ** along with 7 people and 2 groups jpbernardy dherman JacquesC 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 typeclasses by yallop on 2006-10-29 22:08:38 as ** along with 1 person jpbernardy
  • Derivable type classes
    (2000)
    by R Hinze, S Jones
    posted to generics typeclasses by yallop on 2006-12-14 11:11:08 as **
  • Type classes in Haskell
    ACM Trans. Program. Lang. Syst., Vol. 18, No. 2. (March 1996), pp. 109-138.
    by Cordelia V Hall, Kevin Hammond, Simon, Philip L Wadler
    posted to typeclasses by yallop on 2006-12-14 11:19:04 as **
  • A second look at overloading
    (1995), pp. 135-146.
    by Martin Odersky, Philip Wadler, Martin Wehr
    posted to second-look system-o typeclasses by yallop on 2006-12-14 11:18:59 as **
  • notes Implementing type classes
    (1993), pp. 227-236.
    by John Peterson, Mark Jones
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:31:27 as read
  • 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 pl typeclasses types by tov on 2006-10-06 01:30:23 as read along with 4 people and 2 groups dherman robennals rgb bendiken NU-PRL pileWorks
  • notes How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:24:42 as read along with 5 people msakai lomeo gds SamB gkuan
  • Associated types with class
    (2005)
    by M Chakravarty, G Keller, S Jones, S Marlow
    posted to haskell typeclasses types by tov on 2008-01-25 18:50:38 as ****
  • Sound and Decidable Type Inference for Functional Dependencies
    by G Duck, Peyton, P Stuckey, M Sulzmann
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:50 as *** along with 1 person zednenem
  • Faking it---simulating dependent types in Haskell
    (2001)
    by C Mcbride
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:44:08 as ** along with 5 people and 2 groups sclv twleung dherman JacquesC greenrd NU-PRL SRG_at_UCD
  • notes A typed representation for HTML and XML documents in Haskell
    (2002)
    by P Thiemann
    posted to haskell pl typeclasses types by tov on 2006-10-06 01:36:55 as read
  • notes Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Mark P Jones
    posted to haskell icfp08 pl typeclasses types by tov on 2006-10-06 01:33:55 as read along with 10 people and 3 groups huitseeker twleung dherman greenrd cedricboidin msakai bonotake calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
    posted to functional-programming haskell monads typeclasses by SamB on 2007-12-16 04:39:30 as read along with 1 person mcclurmc
  • A system of constructor classes: overloading and implicit higher-order polymorphism
    (1993), pp. 52-61.
    by Mark P Jones
    posted to functional-programming haskell kind-inference kinds monads typeclasses types typesystems by SamB on 2008-03-24 18:06:07 as ** along with 1 person jpbernardy
  • How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
    posted to functional-programming haskell typeclasses types typesystems by SamB on 2007-12-16 04:29:47 as read along with 1 person mmarcus
  • notes A history of Haskell: being lazy with class
    (2007)
    by Paul Hudak, John Hughes, Simon P Jones, Philip Wadler
    posted to functional-programming haskell history monads typeclasses types by SamB on 2008-01-27 20:21:40 as **** along with 1 person brecknell
    • Note: You may cite this page as: http://www.citeulike.org/tag/typeclasses

    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.