Generic unification via two-level types and parameterized modules [Functional pearl]

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 10, 2001, Pages 86-96

  Sheard, Tim ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

Generic programs; Parameterized modules; Unification

Indexed keywords

EID: 17144430501     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/507669.507648     Document Type: Article

References (13)

1. L. Cardelli. Basic polymorphic typechecking. Science of Computer Programming, 8(2):147-172, Apr. 1987.
2. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In ACM, editor, Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: Portland, Oregon, January 17-21, 1994, pages 123-137, New York, NY, USA, 1994. ACM Press.
3. R. Harper and B. C. Pierce. Advanced module systems (invited talk): a guide for the perplexed. ACM SIGPLAN Notices, 35(9):130-130, Sept. 2000.
4. R. Hinze. Memo functions, polytypically! In J. Jeuring, editor, Proceedings 2nd Workshop on Generic Programming, WGP'2000, Ponte de Lima, Portugal, 6 July 2000, Tech. Report UU-CS-2000-19, Dept. of Computer Science, Utrecht Univ., pages 17-32. June 2000.
5. R. Hinze. A new approach to generic functional programming. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POLP-00), pages 119-132, N.Y., Jan. 19-21 2000. ACM Press.
6. P. Jansson and J. Jeuring. PolyP - a polytypic programming language extension. In ACM, editor, Conference record of POPL '97, the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the symposium, Paris, France, 15-17 January 1997, pages 470-482, New York, NY, USA, 1997. ACM Press.
7. P. Jansson and J. Jeuring. Functional pearl: Polytypic unification. Journal of Functional Programming, 8(5):527-536, Sept. 1998.
8. J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Tutorial Text 2nd Int. School on Advanced Functional Programming, Olympia, WA, USA, 26-30 Aug 1996, volume 1129 of Lecture Notes in Computer Science, pages 68-114. Springer-Verlag, Berlin, 1996.
9. M. Jones. Type classes and functional dependencies. In Proceedings of the 9th European Symposium on Programming, ESOP 2000, volume LNCS 1782. Springer-Verlag, March 2000.
10. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'96), pages 68-78, St. Petersburg Beach, Florida, 21-24 Jan. 1996.
11. M. P. Jones. Typing haskell in haskell. In Proceedings of the 1999 Haskell Workshop, pages 68-78, Paris, France, 21-24 Oct. 1999. Published in Technical Report UU-CS-1999-28, Department of Computer Science, University of Utrecht.
12. J. Launchbury and S. Peyton-Jones. Lazy functional state threads. In PLDI'94: Programming Language Design and Implementation, Orlando, Florida, pages 24-35, New York, June 1994. ACM Press.
13. M. Odersky and K. Läufer. Putting type annotations to work. In ACM, editor, Conference record of POPL '96, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: St. Petersburg Beach, Florida, 21-24 January 1996, pages 54-67, New York, NY, USA, 1996. ACM Press.