Polytypic programming in haskell

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3145, Issue , 2004, Pages 168-184

  Norell, Ulf ^a   Jansson, Patrik ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

DATATYPES; EQUALITY TESTS; HASKELL; MAPPING FUNCTIONS; MULTIPARAMETERS; POLYTYPIC FUNCTIONS; POLYTYPIC PROGRAMMING; PRETTY PRINTERS; SPECIALISATION; TYPE CLASS; FUNCTIONAL DEPENDENCY;

ARTIFICIAL INTELLIGENCE;

COMPUTER SCIENCE; COMPUTERS;

EID: 35048882620     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27861-0_11     Document Type: Article

References (16)

1. A. Alimarine and R. Plasmeijer. A generic programming extension for Clean. In T. Arts and M. Mohnen, editors, Proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, volume 2312 of LNCS, pages 168-185. Springer-Verlag, 2001.
2. D. Clarke and A. Löh. Generic haskell, specifically. In J. Gibbons and J. Jeuring, editors, Proceedings of the IFIP TC2 Working Conference on Generic Programming, pages 21-48. Kluwer, 2003.
3. R. Cockett and T. Fukushima. About Charity. Yellow Series Report No. 92/480/18, Dep. of Computer Science, Univ. of Calgary, 1992.
4. J. Furuse. Generic polymorphism in ML. In Journées Francophones des Langages Applicatifs, 2001.
5. R. Hinze and J. Jeuring. Generic Haskell: practice and theory. In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 1-56. Springer-Verlag, 2003.
6. R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
7. P. Jansson. The WWW home page for polytypic programming. Available from http://www.cs.chalmers.se/~patrikj/poly/, 2003.
8. P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In POPL'97, pages 470-482. ACM Press, 1997.
9. P. Jansson and J. Jeuring. PolyLib -a polytypic function library. Workshop on Generic Programming, Marstrand, June 1998. Available from the Polytypic programming WWW page [7].
10. C. Jay and P. Steckler. The functional imperative: shapel In G. Hankin, editor, Programming languages and systems: 7th European Symposium on Programming, ESOP'98, volume 1381 of LNCS, pages 139-53. Springer-Verlag, 1998.
11. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. SIGPLAN Not, 38(3):26-37, 2003.
12. R. Lämmel and J. Visser. Typed Combinators for Generic Traversal. In Proc. Practical Aspects of Declarative Programming PADL 2002, volume 2257 of LNCS, pages 137-154. Springer-Verlag, Jan. 2002.
13. R. Lämmel and J. Visser. Typed Combinators for Generic Traversal. In Proc. Practical Aspects of Declarative Programming PADL 2002, volume 2257 of LNCS, pages 137-154. Springer-Verlag, Jan. 2002.
14. U. Norell. Functional generic programming and type theory. Master's thesis, Computing Science, Chalmers University of Technology, 2002. Available from http://www.cs.chalaers.se/~ulfn.
15. T. Sheard. Generic unification via Two-Level types and parameterized modules. In ICFP'Ol, pages 86-97, 2001.
16. T. Sheard and S. P. Jones. Template meta-programming for Haskell. In Proceedings of the Haskell workshop, pages 1-16. ACM Press, 2002.