Generic Haskell: Practice and theory

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

Volumn 2793, Issue , 2003, Pages 1-56

  Hinze, Ralf ^a   Jeuring, Johan ^b,c  

^a UNIVERSITY OF BONN   (Germany)

^b UTRECHT UNIVERSITY   (Netherlands)

^c OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

HASKELL; LECTURE NOTES;

ARTIFICIAL INTELLIGENCE;

EID: 0142188058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45191-4_1     Document Type: Article

References (49)

1. Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. In Th. Arts and M. Mohnen, editors, Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, pages 257-278, lvsj, Sweden, September 2001.
2. Thorsten Altenkirch and Conor McBride. Generic programming within dependently typed programming. In Jeremy Gibbons and Jeuring Jeuring, editors, Pre-Proceedings of IFIP TC2 Working Conf. on Generic Programming, WCGP'02, Dagstuhl, 11-12 July 2002, 2002. (Final Proceedings to be published by Kluwer Acad. Publ.).
3. Lennart Augustsson. The Haskell B. Compiler (HBC), 1998. Available from http://www.cs.chalmers.se/∼augustss/hbc/hbc.html.
4. Lennart Augustsson. Cayenne - a language with dependent types. SIGPLAN Notices, 34(1):239-250, January 1999.
5. Arthur I. Baars and S. Doaitse Swierstra. Typing dynamic typing. In Simon Peyton Jones, editor, Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4-6, 2002, pages 157-166. ACM Press, October 2002.
6. Richard Bird. Introduction to Functional Programming using Haskell. Prentice Hall Europe, London, 2nd edition, 1998.
7. Richard Bird and Lambert Meertens. Nested datatypes. In J. Jeuring, editor, Fourth International Conference on Mathematics of Program Construction, MPC'98, Marstrand, Sweden, volume 1422 of Lecture Notes in Computer Science, pages 52-67. Springer-Verlag, June 1998.
8. Richard Bird and Ross Paterson. Generalised folds for nested datatypes. Formal Aspects of Computing, 11(2):200-222, 1999.
9. James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90-104. ACM Press, October 2002.
10. Robin Cockett and Tom Fukushima. About Charity. Yellow Series Report 92/480/18, Dept. of Computer Science, Univ. of Calgary, June 1992.
11. Olivier Danvy. An extensional characterization of lambda-lifting and lambda-dropping. In Aart Middeldorp and Taisuke Sato, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan, volume 1722 of Lecture Notes in Computer Science, pages 241-250. Springer-Verlag, November 1999.
12. Vladimir Gapeyev, Michael Y. Levin, and Benjamin C. Pierce. Recursive subtyping revealed (functional pearl). In Proceedings of the ACM Sigplan International Conference on Functional Programming (ICFP'00), volume 35 of ACM Sigplan Notices, pages 221-232, New York, September 2000. ACM Press.
13. G. Gierz, K.H. Hofmann, K Keimel, J.D. Lawson, M. Mislove, and D.S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, 1980.
14. Jean-Yves Girard. Interprétation fonctionelle et élimination des coupures dans l'arithmétique d'ordre supérieur. PhD thesis, Université Paris VII, 1972.
15. T. Hagino. Category Theoretic Approach to Data Types. PhD thesis, University of Edinburgh, 1987.
16. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In Conference record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'95), San Francisco, California, pages 130-141. ACM Press, 1995.
17. Fritz Henglein. Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems, 15(2):253-289, April 1993.
18. Ralf Hinze. A generic programming extension for Haskell. In Erik Meijer, editor, Proceedings of the 3rd Haskell Workshop, Paris, France, September 1999. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28.
19. Ralf Hinze. Polytypic programming with ease (extended abstract). In Aart Middeldorp and Taisuke Sato, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan, volume 1722 of Lecture Notes in Computer Science, pages 21-36. Springer-Verlag, November 1999.
20. Ralf Hinze. Functional Pearl: Perfect trees and bit-reversal permutations. Journal of Functional Programming, 10(3):305-317, May 2000.
21. Ralf Hinze. A new approach to generic functional programming. In Thomas W. Reps, editor, Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, pages 119-132, January 2000.
22. Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programmming, 43:129-159, 2002.
23. Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001. The preliminary proceedings appeared as a University of Nottingham technical report.
24. Patrik Jansson and Johan Jeuring. PolyP - a polytypic programming language extension. In Conference Record 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97), Paris, France, pages 470-482. ACM Press, January 1997.
25. Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In S. Doaitse Swierstra, editor, Proceedings European Symposium on Programming, ESOP'99, volume 1576 of Lecture Notes in Computer Science, pages 273-287, Berlin, 1999. Springer-Verlag.
26. C.B. Jay, G. Bellè, and E. Moggi. Functorial ML. Journal of Functional Programming, 8(6):573-619, November 1998.
27. C.B. Jay and J.R.B. Cocket. Shapely types and shape polymorphism. In D. Sanella, editor, Programming Languages and Systems - ESOP'94: 5th European Symposium on Programming, Edinburgh, UK, Proceedings, volume 788 of Lecture Notes in Computer Science, pages 302-316, Berlin, 11-13 April 1994. Springer-Verlag.
28. Johan Jeuring and Patrik Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Tutorial Text 2nd International School on Advanced Functional Programming, Olympia, WA, USA, volume 1129 of Lecture Notes in Computer Science, pages 68-114. Springer-Verlag, 1996.
29. M.P. Jones and J.C. Peterson. Hugs 98 User Manual, May 1999. Available from http://www.haskell.org/hugs.
30. G. Malcolm. Algebraic data types and program transformation. PhD thesis, University of Groningen, 1990.
31. Lambert Meertens. Calculate polytypically! In H. Kuchen and S.D. Swierstra, editors, Proceedings 8th International Symposium on Programming Languages: Implementations, Logics, and Programs, PLILP'96, Aachen, Germany, volume 1140 of Lecture Notes in Computer Science, pages 1-16. Springer-Verlag, September 1996.
32. Erik Meijer and Graham Hutton. Bananas in space: Extending fold and unfold to exponential types. In Conference Record 7th ACM SIGPLAN/SIGARCH and IFIP WG 2.8 International Conference on Functional Programming Languages and Computer Architecture, FPCA'95, La Jolla, San Diego, CA, USA, pages 324-333. ACM Press, June 1995.
33. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17(3):348-375, 1978.
34. John C. Mitchell. Foundations for Programming Languages. The MIT Press, Cambridge, MA, 1996.
35. Eugenio Moggi. A cateogry-theoretic account of program modules. Mathematical Structures in Computer Science, 1(1):103-139, March 1991.
36. Alan Mycroft. Polymorphic type schemes and recursive definitions. In M. Paul and B. Robinet, editors, Proceedings of the International Symposium on Programming, 6th Colloquium, Toulouse, France, volume 167 of Lecture Notes in Computer Science, pages 217-228, 1984.
37. Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1998.
38. Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.
39. Simon L. Peyton Jones. Compiling Haskell by program transformation: A report from the trenches. In Hanne Riis Nielson, editor, Programming Languages and Systems-ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, 22-24 April, volume 1058 of Lecture Notes in Computer Science, pages 18-44. Springer-Verlag, 1996.
40. Benjamin C. Pierce. Types and programming languages. MIT Press, Cambridge, Mass., 2002.
41. Fritz Ruehr. Structural polymorphism. In Roland Backhouse and Tim Sheard, editors, Informal Proceedings Workshop on Generic Programming, WGP'98, Marstrand, Sweden, 18 June 1998. Dept. of Computing Science, Chalmers Univ. of Techn. and Göteborg Univ., June 1998.
42. Karl Fritz Ruehr. Analytical and Structural Polymorphism Expressed using Patterns over Types. PhD thesis, University of Michigan, 1992.
43. Tim Sheard. Automatic generation and use of abstract structure operators. ACM Transactions on Programming Languages and Systems, 13(4):531-557, October 1991.
44. Tim Sheard. Type parametric programming. Technical Report CS/E 93-018, Oregon Graduate Institute of Science and Technology, Department of Computer Science and Engineering, Portland, OR, USA, November 1993.
45. The GHC Team. The Glasgow Haskell Compiler User's Guide, Version 5.04, 2003. Available from http://www.haskell.org/ghc/documentation.html.
46. Philip Wadler. Theorems for free! In The Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA '89), London, UK, pages 347-359. Addison-Wesley Publishing Company, September 1989.
47. Philip Wadler. The Girard-Reynolds isomorphism. In N. Kobayashi and B. C. Pierce, editors, Proc. of 4th Int. Symp. on Theoretical Aspects of Computer Science, TACS 2001, Sendai, Japan, 29-31 Oct. 2001, volume 2215 of Lecture Notes in Computer Science, pages 468-491. Springer-Verlag, Berlin, 2001.
48. Philip Wadler. A prettier printer. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, Cornerstones of Computing, pages 223-243. Palgrave Macmillan Publishers Ltd, March 2003.
49. Stephanie Weirich. Higher-order intensional type analysis. In D. Le Métayer, editor, Proceedings of the 11th European Symposium on Programming, ESOP 2002, volume 2305 of Lecture Notes in Computer Science, pages 98-114, 2002.