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
  • Functional pearl: implicit configurations--or, type classes reflect the values of types
    (2004), pp. 33-44.
    by Oleg Kiselyov, Chung-Chieh Shan
  • 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)
    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
  • 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
  • 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)
    posted to haskell typeclasses types by tov on 2008-01-25 18:50:38 as ****
  • Sound and Decidable Type Inference for Functional Dependencies
    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
  • notes A typed representation for HTML and XML documents in Haskell
    (2002)
    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
  • Functional Programming with Overloading and Higher-Order Polymorphism
    (1995), pp. 97-136.
    by Mark P Jones
  • A system of constructor classes: overloading and implicit higher-order polymorphism
    (1993), pp. 52-61.
    by Mark P Jones
  • How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
  • notes A history of Haskell: being lazy with class
    (2007)
    by Paul Hudak, John Hughes, Simon P Jones, Philip Wadler
  • 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.