Simulating Quantified Class Constraints

Proceedings of the 2003 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2003, Pages 98-102

  Trifonov, Valery ^a  

^a Yale University   (United States)

Author keywords

Dictionaries; Polymorphic types; Type classes

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; GLOSSARIES; PROGRAM COMPILERS; SEMANTICS; SUBROUTINES;

POLYMORPHIC TYPES; TYPE CLASSES; DATATYPES; HASKELL; HASKELL 98; LANGUAGE EXTENSIONS; TYPE CLASS;

COMPUTER PROGRAMMING; LINGUISTICS;

EID: 1542642867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/871895.871906     Document Type: Conference Paper

References (10)

1. Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. In Implementation of Functional Languages, 13th International Workshop (IFL 2001), volume 2312 of LNCS, pages 168-186, Stockholm, Sweden, September 2001. Springer.
2. J. Y. Girard. Interpretation Fonctionnelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieur. PhD thesis, University of Paris VII, 1972.
3. Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43:129-159, 2002.
4. Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41 of Electronic Notes in Theoretical Computer Science, Montréal, Canada, September 2000. Elsevier. http://www.elsevier.nl/inca/publications/store/5/0/5/6/2/5/.
5. Simon Peyton Jones. Re: Rank-2 polymorphism & type inference, December 2000. Message posted on the Haskell mailing list, available at http://haskell.cs.yale.edu/pipermail/haskell/2000-December/006303.html.
6. Simon Peyton Jones. Deriving excitement, February 2002. Message posted on the Haskell mailing list, available at http://haskell.cs.yale.edu/pipermail/haskell/2002-February/005426.html.
7. Conor T. McBride. Re: higher-kind deriving... or not, February 2002. Message posted on the Haskell-café mailing list, available at http://www.haskell.org/pipermail/haskell-cafe/2002-February/002785.html.
8. Chris Okasaki. From fast exponentiation to square matrices: An adventure in types. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 28-35, Paris, France, September 1999.
9. John Peterson and Mark P. Jones. Implementing type classes. In Proceedings of the 1993 ACM SIGPLAN Symposium on Programming Language Design and Implementation, pages 227-236, Albuquerque, New Mexico, June 1993.
10. Ashley Yakeley. Re: Arrow classes, July 2003. Message posted on the Haskell-café mailing list, available at http://haskell.cs.yale.edu/pipermail/haskell-cafe/2003-July/004659.html.