Encoding types in ML-like languages

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 1, 1999, Pages 289-300

  Yang, Zhe ^a  

^a POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244376474     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/291251.289458     Document Type: Article

References (32)

1. Martin Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237-268., April 1991.
2. Martin Abadi, Luca Cardelli, Benjamin Pierce, and Didier Rémy. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1):111-130, January 1995.
3. Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In Jan Maluszyński and Martin Wirsing, editors, Third International Symposium on Programming Language Implementation and Logic Programming, number 528 in Lecture Notes in Computer Science, pages 1-13, Passau, Germany, August 1991. Springer-Verlag.
4. 4 report on the algorithmic language Scheme. LISP Pointers, IV(3):1-55, July-September 1991.
5. Olivier Danvy. Type-directed partial evaluation. In Steele [29], pages 242-257.
6. Olivier Danvy. Formatting strings in ML. Research Series RS-98-5, BRICS, Department of Computer Science, University of Aarhus, March 1998. To appear in the Journal of Functional Programming.
7. Olivier Danvy. A simple solution to type specialization. Research Series RS-98-1, BRICS, Department of Computer Science, University of Aarhus, January 1998. To appear in the Proceedings of the 25th International Colloquium on Automata, Languages, and Programming.
8. Olivier Danvy and Peter Dybjer, editors. Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation, NBE '98, (Göteborg, Sweden, May 8-9, 1998), number NS-98-1 in BRICS Notes Series, BRICS, Department of Computer Science, University of Aarhus, May 1998.
9. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In Steele [29], pages 258-283.
10. Jean-Yves Girard. The system F of variable types, fifteen years later. Theoretical Computer Science, 45(2):159-192, 1986.
11. Cordelia Hall, Kevin Hammond, Simon Peyton-Jones, and Philip Wadler. Type classes in Haskell. ACM Transactions on Programming Languages and Systems, 18(2):109-138, March 1996.
12. Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In Peter Lee, editor, Proceedings of the Twenty-Second Annual ACM Symposium on Principles of Programming Languages, pages 130-141, San Francisco, California, January 1995. ACM Press.
13. Fritz Henglein. Dynamic typing: syntax and proof theory. Science of Computer Programming, 22(3):197-230, June 1994.
14. J. Roger Hindley. The principal type-scheme of an object in combinatory logic. Transactions of the American Mathematical Society, 146:29-60, 1969.
15. Mark P. Jones. A system of constructor classes: overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1):1-35, January 1995. An earlier version appeared in FPCA '93.
16. Mark P. Jones. First-class polymorphism with type inference. In Jones [17], pages 483-496.
17. Neil D. Jones, editor. Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Programming Languages, Paris, France, January 1997. ACM Press.
18. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993.
19. Andrew Kennedy. Relational parametricity and units of measure. In Jones [17], pages 442-455.
20. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, December 1978.
21. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.
22. John C. Mitchell. Coercion and type inference. In Ken Kennedy, editor, Proceedings of the Eleventh Annual ACM Symposium on Principles of Programming Languages, pages 175-185, Salt Lake City, Utah, January 1984.
23. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In Steele [29], pages 54-67.
24. John Peterson, Kevin Hammond, et al. Report on the programming language Haskell, a non-strict purely-functional programming language, version 1.4. Available at the Haskell homepage: http://www.haskell.org, April 1997.
25. John C. Reynolds. Towards a theory of type structure. In Programming Symposium, number 19 in Lecture Notes in Computer Science, pages 408-425, Paris, France, April 1974. Springer-Verlag.
26. Morten Rhiger. A study in higher-order programming languages. Master's thesis, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 1997.
27. Kristoffer Rose. Type-directed partial evaluation in a pure functional language. In Danvy and Dybjer [8].
28. Mark Shields, Tim Sheard, and Simon Peyton Jones. Dynamic typing as staged type inference. In Luca Cardelli, editor, Proceedings of the Twenty-Fifth Annual A CM Symposium on Principles of Programming Languages, pages 289-302, San Diego, California, January 1998. ACM Press.
29. Guy L. Steele, editor. Proceedings of the Twenty-Third Annual A CM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, January 1996- ACM Press.
30. Walid Taha and Tim Sheard. Multi-stage programming. In Mads Tofte, editor, Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 321-321, Amsterdam, The Netherlands, June 1997. ACM Press.
31. Mads Tofte. Principal signatures for higher-order program modules. Journal of Functional Programming, 4(3):285-335, July 1994.
32. René Vestergaard. From proof normalization to compiler generation and type-directed change-of-representation. Master's thesis, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May 1997.