Generics for the masses

ACM SIGPLAN Notices

Volumn 39, Issue 9, 2004, Pages 236-243

  Hinze, Ralf ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

Generic programming; Haskell 98; Type classes

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DATABASE SYSTEMS; FUNCTIONS; INFORMATION TECHNOLOGY; PROGRAM COMPILERS;

GENERIC FUNCTIONS; GENERIC PROGRAMMING; HASKELL 98; TYPE CLASSES;

COMPUTER PROGRAMMING;

EID: 9744226548     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1016848.1016882     Document Type: Conference Paper

References (14)

1. Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming - An Introduction -. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, volume 1608 of Lecture Notes in Computer Science, pages 28-115. Springer-Verlag, Berlin, 1999.
2. 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.
3. 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.
4. Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43:129-159, 2002.
5. Ralf Hinze. Fun with phantom types. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, pages 245-262. Palgrave Macmillan, 2003. ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback.
6. Ralf Hinze and Johan Jeuring. Generic Haskell: Applications. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures, volume 2793 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
7. Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures, volume 2793 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
8. Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. Science of Computer Programming, 51:117-151, 2004.
9. 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.
10. Ralf Lämmel and Simon Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In Kathleen Fisher, editor, Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004, September 2004.
11. Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.
12. Simon Peyton Jones and Ralf Lämmel. Scrap your boilerplate: a practical approach to generic programming. In Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, January 2003.
13. 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.
14. Stephanie Weirich. Higher-order intensional type analysis in type-erasure semantics. Available from http://www.cis.upenn.edu/~sweirich/papers/erasure/ erasure-paper-july03.pdf, 2003.