TypeCase: A design pattern for type-indexed functions

Haskell'05 - Proceedings of the ACM SIGPLAN 2005 Haskell Workshop

Volumn , Issue , 2005, Pages 98-109

  Oliveira, Bruno C D S ^a   Gibbons, Jeremy ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Generic programming; Type classes; Type indexed functions

Indexed keywords

PATTERN RECOGNITION;

GENERIC PROGRAMMING; TYPE CLASSES; TYPE-INDEXED FUNCTIONS;

COMPUTER PROGRAMMING;

EID: 32144449570     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1088348.1088358     Document Type: Conference Paper

References (37)

1. C. Alexander. A Pattern Language. Oxford University Press, 1977.
2. N. Benton. Embedded interpreters. Microsoft Research, Cambridge, Jan. 2005.
3. R. Bird and O. de Moor. Algebra of Programming. International Series in Computer Science. Prentice Hall, 1997.
4. J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Haskell Workshop, pages 90-104, 2002.
5. D. Clarke and A. Loh. Generic Haskell, specifically. In Generic Programming, pages 21-47. Kluwer, B.V., 2003.
6. K. Crary and S. Weirich. Flexible type analysis. In International Conference on Functional Programming, pages 233-248, 1999.
7. K. Crary, S. Weirich, and J. G. Morrisett. Intensional polymorphism in type-erasure semantics. In International Conference on Functional Programming, pages 301-312, 1998.
8. N. A. Danielsson and P. Jansson. Chasing bottoms: A case study in program verification in the presence of partial and infinite values. In D. Kozen, editor, LNCS 3125: Mathematics of Program Construction, pages 85-109. Springer-Verlag, 2004.
9. O. Danvy. Type-directed partial evaluation. In Principles of Programming Languages, 1996.
10. O. Danvy. Functional unparsing. Journal of Functional Programming, 8(6):625-625, 1998.
11. C. Dubois, F. Rouaix, and P. Weis. Extensional polymorphism. In Principles of Programming Languages, pages 118-129, 1995.
12. P. Dybjer and A. Filinski. Normalization and partial evaluation. In LNCS 2395: Applied Semantics, pages 137-192. Springer, 2002.
13. D. Fridlender and M. Indrika. Do we need dependent types? Journal of Functional Programming, 10(4):409-415, 2000.
14. J. Gibbons. Calculating functional programs. In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, pages 149-202, 2000.
15. J. Gibbons. Patterns in datatype-generic programming. In Declarative Programming in the Context of Object-Oriented Languages, 2003.
16. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Principles of Programming Languages, pages 130-141, San Francisco, California, 1995.
17. R. Hinze. Generalizing generalized tries. Journal of Functional Programming, 10(4):327-351, 2000.
18. R. Hinze. Fun with phantom types. In J. Gibbons and O. de Moor, editors, The Fun of Programming, pages 245-262. Palgrave, 2003.
19. R. Hinze. Generics for the masses. In International Conference on Functional Programming, pages 236-243. ACM Press, 2004.
20. R. Hinze, J. Jeuring, and A. Loh. Type-indexed data types. Science of Computer Programming, 51(1 -2): 117-151, 2004.
21. P. Jansson. Functional Polylypic Programming, PhD thesis, Chalmers University of Technology, May 2000.
22. J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, LNCS 1129: Advanced Functional Programming, pages 68-114. Springer-Verlag, 1996.
23. T. Kühne. A Functional Pattern System for Object-Oriented Design, Verlag Dr. Kovač, ISBN 3-86064-770-9, Hamburg, Germany, 1999.
24. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. In Types in Language Design and Implementation, 2003.
25. R. Lämmel and J. Visser. Design patterns for functional strategic programming. In Workshop on Rule-Based Programming, 2002.
26. A. Loh. Exploring Generic Haskell, PhD thesis, Utrecht University, 2004.
27. A. Loh, D. Clarke, and J. Jeuring. Dependency-style Generic Haskell. In International Conference on Functional Programming, pages 141-152, 2003.
28. E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In LNCS 523: Functional Programming Languages and Computer Architecture, pages 124-144. Springer-Verlag, 1991.
29. D. Menendez. Fixed-length vectors in Haskell. http://www.haskell.org/ pipermail/haskell/2005-May/015815.html.
30. U. Norell and P. Jansson. Polytypic programming in Haskell. In Implementing Functional Languages, 2003.
31. S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.
32. S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: Type inference for generalised algebraic data types. Microsoft Research, Cambridge, 2004.
33. J. C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing 83, pages 513-523. Elsevier, 1983.
34. P. Wadler. Views: a way for pattern matching to cohabit with data abstraction. In Principles of Programming Languages, pages 307-313. ACM Press, 1987.
35. P. Wadler. Theorems for free! In Functional Programming and Computer Architecture, 1989.
36. S. Weirich. Higher-order intensional type analysis in type-erasure semantics, http://www.cis.upenn.edu/~sweirich/papers/erasure/erasure-paper- july03.pdf, 2003.
37. Z. Yang. Encoding types in ML-like languages. In International Conference on Functional Programming, pages 289-300, 1998.