Context-parametric polykinded types

WGP'06 - Proceedings of the ACM SIGPLAN 2006 Workshop on Generic Programming

Volumn 2006, Issue , 2006, Pages 45-54

  Nogueira, Pablo ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

Constrained types; Generic haskell; Kind indexed types; Polykinded types; Polytypic programming

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FUNCTION EVALUATION; PROGRAM COMPILERS;

CONSTRAINED TYPES; GENERIC HASKELL; KIND-INDEXED TYPES; POLYKINDED TYPES; POLYTYPIC PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 33750923043     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159861.1159868     Document Type: Conference Paper

References (14)

1. A. Alimarine and M. Plasmeijer. A generic programming extension for Clean. In T. Arts and M. Mohnen, editors, IFL, volume 2312 of Lecture Notes in Computer Science, pages 168-185. Springer, 2001.
2. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computer Surveys, 17(4):471-522, December 1985.
3. A. J. Field and P. G. Harrison. Functional Programming. International Series in Computer Science. Addison-Wesley, 1988. (reprinted 1993).
4. R. Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43(2-3):129-159, June 2002.
5. R. Hinze and J. Jeuring. Generic Haskell, Practice and Theory. In Summer School and Workshop on Generic Programming, Oxford, UK, LNCS 2297. Springer Verlag, 2002.
6. J. Hughes. Restricted data types in Haskell. Haskell Workshop '99, September 1999.
7. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, March 2003. Proc. of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI2003).
8. R. Lämmel and S. Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In Proceedings; International Conference on Functional Programming (ICFP 2004). ACM Press, Sept. 2004.
9. R. Lämmel and S. Peyton Jones. Scrap your boilerplate with class: extensible generic functions. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2005). ACM Press, September 2005.
10. A. Löh. Exploring Generic Haskell. PhD thesis, Utrecht University, September 2004.
11. P. Nogueira. Polytypic Functional Programming and Data Abstraction. PhD thesis, School of Computer Science and IT, University of Nottingham, UK, 2006.
12. S. Peyton Jones. Bulk types with class. In Proceedings of the 1997 Haskell Workshop, Amsterdam, June 1997.
13. S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, University of Pennsylvania, July 2004.
14. [141 M. Shields and S. Peyton Jones. Practical type inference for arbitrary-rank types. Available online at the authors' web sites, April 2004.