Generics for the masses

Journal of Functional Programming

Volumn 16, Issue 4-5, 2006, Pages 451-483

  Hinze, Ralf ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TYPE; GENERIC FUNCTIONS; HASKELL; HASKELL 98; LANGUAGE CONSTRUCTS; TYPE CLASS; TYPE SYSTEMS;

FUNCTIONAL PROGRAMMING;

EID: 33747177082     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796806006022     Document Type: Conference Paper

References (40)

1. Alimarine, A. & Plasmeijer, R. (2001) A generic programming extension for Clean. In: Arts, T. and Mohnen, M. (eds.), Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01 pp. 257-278.
2. Backhouse, R., Jansson, P., Jeuring, J. & Meertens, L. (1999) Generic Programming -An Introduction -. In: Swierstra, S. D., Henriques, P. R. and Oliveira, J. N. (eds.), 3rd International Summer School on Advanced Functional Programming, Braga, Portugal. Lecture Notes in Computer Science 1608, pp. 28-115. Springer-Verlag.
3. Böhm, C. & Berarducci, A. (1985) Automatic synthesis of typed λ-programs on term algebras. Theoretical Computer Science, 39(2-3), 135-154.
4. Cheney, J. & Hinze, R. (2002) A lightweight implementation of generics and dynamics. In: Chakravarty, M. M. (ed.), Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pp. 90-104. ACM Press.
5. Clarke, D. and Löh, A. (2002) Generic Haskell, specifically. In: Gibbons, J. and Jeuring, J. (eds.), Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, pp. 21-48. Kluwer Academic.
6. Crary, K. & Weirich, S. (1999) Flexible type analysis. Proceedings ICFP 1999: International Conference on Functional Programming, pp. 233-248. ACM Press.
7. Crary, K., Weirich, S. & Morrisett, J. G. (1998) Intensional polymorphism in type-erasure semantics. Proceedings ICFP 1998: International Conference on Functional Programming, pp. 301-312. ACM Press.
8. DrIFT. (2005) DrIFT Home Page. http://repetae.net/john/computer/haske11/ DrIFT/.
9. Girard, J.-Y. (1972) Interprétation foncionnelle et élimination des coupures de l'arithmétique d'order supérieur. PhD thesis, Université de Paris VII.
10. Harper, R. & Morrisett, G. (1995) Compiling polymorphism using intensional type analysis. 22nd Symposium on Principles of Programming Languages, POPL '95, pp. 130-141.
11. Hinze, R. (2000) A new approach to generic functional programming. In: Reps, T. W. (ed.), Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, pp. 119-132.
12. Hinze, R. (2002) Polytypic values possess polykinded types. Science of Computer Programming, 43, 129-159.
13. Hinze, R. (2003) Fun with phantom types. In: Gibbons, J. and de Moor, O. (eds.), The Fun of Programming, pp. 245-262. Palgrave Macmillan.
14. Hinze, R. (2005) Theoretical Pearl: Church numerals, twice! J. Functional Programming, 15(1), 1-13.
15. Hinze, R. & Jeuring, J. (2003a) Generic Haskell: Applications. In: Backhouse, R. and Gibbons, J. (eds.), Generic Programming: Advanced Lectures. Lecture Notes in Computer Science 2793, pp. 57-97. Springer-Verlag.
16. Hinze, R. & Jeuring, J. (2003b) Generic Haskell: Practice and theory. In: Backhouse, R. and Gibbons, J. (eds.), Generic Programming: Advanced Lectures. Lecture Notes in Computer Science 2793, pp. 1-56. Springer-Verlag.
17. Hinze, R. & Peyton Jones, S. (2001) Derivable type classes. In: Hutton, G. (ed.), Proceedings of the 2000 ACM S IG P LAN Haskell Workshop, vol. 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science. (The preliminary proceedings appeared as a University of Nottingham technical report.)
18. Hinze, R., Jeuring, J. & Löh, A. (2004) Type-indexed data types. Science of Computer Programming, 51, 117-151.
19. Jansson, P. & Jeuring, J. (1997) PolyP - a polytypic programming language extension. Conference Record 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97), Paris, France, pp. 470-482. ACM Press.
20. Jones, M. P. (2000) Type classes with functional dependencies. In: Smolka, G. (ed.), Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany. Lecture Notes in Computer Science 1782, pp. 230-244. Springer-Verlag.
21. Lämmel, R. & Peyton Jones, S. (2004) Scrap more boilerplate: reflection, zips, and generalised casts. In: Fisher, K. (ed.), Proceedings of the 2004 International Conference on Functional Programming, Snowbird, UT, pp. 244-255.
22. Lämmel, R. & Peyton Jones, S. (2005) Scrap your boilerplate with class: extensible generic functions. In: Pierce, B. (ed.), Proceedings of the 2005 International Conférence on Functional Programming, Tallinn, Estonia.
23. Leivant, D. (1983) Reasoning about functional programs and complexity classes associated with type disciplines. Proceedings 24th Annual IEEE Symposium on Foundations of Computer Science, FOCS'83, Tucson, AZ, pp. 460-469. IEEE Press. Loh, A. (2004) Exploring Generic Haskell. PhD thesis, Utrecht University.
24. Loh, A. & Jeuring, J. (2005) The Generic Haskell user's guide, Version 1.42 - Coral release. Tech. rept. UU-CS-2005-004. Universiteit Utrecht.
25. Meijer, E., Fokkinga, M. & Paterson, R. (1991) Functional programming with bananas, lenses, envelopes and barbed wire. 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA'91, Cambridge, MA. Lecture Notes in Computer Science 523, pp. 124-144. Springer-Verlag.
26. Norell, U. & Jansson, P. (2003) Polytypic programming in Haskell. In: Trinder, P., Michaelson, G. & Peña, R. (eds.), Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, pp. 168-184.
27. Okasaki, C. (1997) Catenable double-ended queues. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pp. 66-74. (ACM SIGPLAN Notices, 32(8), August 1997.)
28. Oliveira, B. C. & Gibbons, J. (2005) TypeCase: A design pattern for type-indexed Junctions. In: Daan Leijen (ed.), Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, Tallinn, Estonia, pp. 98-109. ACM Press.
29. Parigot, M. (1992) Recursive programming with proofs. Theoretical Computer Science, 94(2), 335-356.
30. Peyton Jones, S. (2003) Haskell 98 Language and Libraries. Cambridge University Press.
31. Peyton Jones, S. & Lämmel, R. (2003) Scrap your boilerplate: a practical approach to generic programming. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, LA, pp. 26-37.
32. Peyton Jones, S., Washburn, G. & Weirich, S. (2004) Wobbly types: type inference for generalised algebraic data types. Submitted.
33. Sheard, T. & Peyton Jones, S. (2002) Template metaprogramming for Haskell. In: Chakravarty, M. M. T. (ed.), A CM SIGPLAN Haskell Workshop 02 pp. 1-16. ACM Press.
34. The GHC Team (2005) The Glorious Glasgow Haskell Compilation System User's Guide, Version 6.4. Available from http://www.haskell.org/ghc/ documentation.html.
35. Trifonov, V., Saha, B. & Shao, Z. (2000) Fully reflexive intensional type analysis. Proceedings ICFP 2000: International Conference on Functional Programming, pp. 82-93. ACM Press.
36. Visser, E. (2000) Language independent traversals for program transformation. In : Jeuring, J. (ed.), Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal, pp. 86-104. (The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19.)
37. Wadler, P. (1989) Theorems for free! The Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA'89), London, UK, pp. 347-359. Addison-Wesley.
38. Wadler, P. (2003) A prettier printer. In: Gibbons, J. and de Moor, O. (eds.), The Fun of Programming. Cornerstones of Computing, pp. 223-243. Palgrave Macmillan.
39. Weirich, S. (2001) Encoding intensional type analysis. European Symposium on Programming. LNCS 2028, pp. 92-106. Springer-Verlag.
40. Weirich, S. (2003) Higher-Order Intensional Type Analysis in Type-Erasure Semantics. Available from http://www.cis.upenn.edu/~sweirich/papers/erasure/ erasure-paper-july03.pdf.