Prototyping generic programming in template Haskell

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

Volumn 3125, Issue , 2004, Pages 314-333

  Norell, Ulf ^a   Jansson, Patrik ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; OBJECT ORIENTED PROGRAMMING;

COMPILE-TIME META-PROGRAMMING; DESIGN SPACES; FLEXIBLE PROTOTYPES; GENERIC PROGRAMMING; GENERIC PROGRAMMING LANGUAGES; PARAMETERIZING; PRETTY PRINTERS; TEMPLATE HASKELL;

SOFTWARE PROTOTYPING;

EID: 33746094944     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_17     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. R. Hinze. Polytypic values possess polykinded types. In Mathematics of Program Construction, volume 1837 of LNCS, pages 2-27. Springer-Verlag, 2000.
5. R. Hinze and J. Jeuring. Generic Haskell: Applications. In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 57-97. Springer-Verlag, 2003.
6. 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.
7. 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.
8. G. Hutton. A tutorial on the universality and expressiveness of fold. Journal of Functional Programming, 9(4):355-372, July 1999.
9. P. Jansson. Functional Polytypic Programming. PhD thesis, Computing Science, Chalmers University of Technology and Göteborg University, Sweden, May 2000.
10. P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In POPL'97, pages 470-482. ACM Press, 1997.
11. P. Jansson and J. Jeuring. Polytypic data conversion programs. Science of Computer Programming, 43(1):35-75, 2002.
12. C. Jay and P. Steckler. The functional imperative: shape! In C. Hankin, editor, Programming languages and systems: 7th European Symposium on Programming, ESOP'98, volume 1381 of LNCS, pages 139-53. Springer-Verlag, 1998.
13. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. SIGPLAN Not., 38(3):26-37, 2003.
14. K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996. ISBN 0-534-94602-X.
15. U. Norell and P. Jansson. Polytypic programming in Haskell. In Implementation of Functional Languages, LNCS, 2004. In press for LNCS. Presented at IFL'03.
16. T. Sheard and S. P. Jones. Template meta-programming for Haskell. In Proceedings of the Haskell workshop, pages 1-16. ACM Press, 2002.