Dependency-style generic haskell

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn 8, Issue , 2003, Pages 141-152

  Löh, Andres ^a   Clarke, Dave ^a   Jeuring, Johan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Functional programming; Generic Haskell; Generic programming; Type systems

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; PROGRAM COMPILERS; RECURSIVE FUNCTIONS; SEMANTICS; XML;

FUNCTIONAL PROGRAMMING; GENERIC HASKELL; GENERIC PROGRAMMING; TYPE SYSTEMS;

COMPUTER PROGRAMMING;

EID: 1142275480     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/944705.944719     Document Type: Conference Paper

References (34)

1. Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. In Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, pages 257-278, 2001.
2. Thorsten Altenkirch and Conor McBride. Generic programming within dependently typed programming. In Gibbons and Jeuring [11], pages 1-20.
3. Richard Bird, Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations. Journal of Functional Programming, 6(1):l-28, 1996.
4. Olaf Chitil. Compositional explanation of types and algorithmic debugging of type errors. In ICFP '01, pages 193-204, September 2001.
5. Dave Clarke, Johan Jeuring, and Andres Löh. The Generic Haskell User's Guide - Beryl release. Technical Report UU-CS-2002-047, Utrecht University, 2002.
6. Dave Clarke and Andres Löh. Generic Haskell, specifically. In Gibbons and Jeuring [11], pages 21-48.
7. Robin Cockett and Tom Fukushima. About Charity. Yellow Series Report No. 92/480/18, Dep. of Computer Science, Univ. of Calgary, 1992.
8. Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In ICFP '98, pages 301-312. ACM Press, 1998.
9. Jun Furuse. G'Caml - O'Caml with extensional polymorphism extension. Project home page at http://pauillac.inria.fr/̃furuse/generics/, 2001.
10. Jun Furuse. Generic polymorphism in ML. In Journées Francophones des Langages Applicatifs, January 2001.
11. Jeremy Gibbons and Johan Jeuring, editors. Generic Programming, volume 243 of IFIP. Kluwer Academic Publishers, January 2003.
12. Paul Hagg. A framework for developing generic XML Tools. Master's thesis, Department of Information and Computing Sciences, Utrecht University, 2002.
13. Ralf Hinze. A generic programming extension for Haskell. In Erik Meijer, editor, Proceedings of the Third Haskell Workshop, Technical report of Utrecht University, UU-CS-1999-28, 1999.
14. Ralf Hinze. Generic Programs and Proofs. 2000. Habilitationsschrift, Bonn University.
15. Ralf Hinze. A new approach to generic functional programming. In POPL'00, pages 119-132. ACM Press, 2000.
16. Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43(2-3):129-159, 2002.
17. Ralf Hinze and Johan Jeuring. Generic Haskell: applications, 2003. To appear.
18. Ralf Hinze and Johan Jeuring. Generic Haskell: practice and theory, 2003. To appear.
19. Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. In Proceedings of the 6th Mathematics of Program Construction Conference, MPC'02, volume 2386 of LNCS, pages 148-174, 2002.
20. Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Button, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001.
21. P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In POPL '97, pages 470-482. ACM Press, 1997.
22. C. B. Jay. Programming in FISh. International Journal on Software Tools for Technology Transfer, 2:307-315, 1999.
23. C.B. Jay, G. Bellè, and E. Moggi. Functorial ML. Journal of Functional Programming, 8(6):573-619, 1998.
24. Mark P. Jones. Qualified Types: Theory and Practice. Cambridge University Press, 1994.
25. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical approach to generic programming. In Proc ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), 2003.
26. Xavier Leroy et al. The Objective Caml system release 3.02, Documentation and user's manual, December 2001. Available from http://caml.inria.fr/ocaml/htmlman/.
27. Jeffrey Lewis, Mark Shields, Erik Meijer, and John Launchbury. Implicit parameters: Dynamic scoping with static types. In POPL '00, pages 108-118, Jan 2000.
28. Andres Löh, Dave Clarke, and Johan Jeuring. Dependency-style Generic Haskell. Technical Report UU-CS-2003-022, Institute of Information and Computing Sciences, Utrecht University, 2003.
29. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In POPL '96, pages 54-67, New York, N.Y., 1996.
30. Simon Peyton Jones, John Hughes, et al. Haskell 98 - A non-strict, purely functional language. Available from http://haskell.org, February 1999.
31. Fritz Ruehr. Analytical and Structural Polymorphism Expressed Using Patterns Over Types. PhD thesis, University of Michigan, 1992.
32. T. Sheard and L. Fegaras. A fold for all seasons. In Proceedings of the 6th ACM Conference on Functional Programming Languages and Computer Architecture FPCA '93, pages 233-242. ACM Press, June 93.
33. Stephanie Weirich. Higher-order intensional type analysis. In Daniel Le Métayer, editor, Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, 2002.
34. Stephanie Weirich. Higher-order intensional type analysis in type erasure semantics. Available from http://www.cis.upenn.edu/̃sweirich/, December 2002.