Recursive type generativity

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 41-53

  Dreyer, Derek ^a  

^a TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO   (United States)

Author keywords

Abstract data types; Effect systems; Generativity; Recursion; Recursive modules; Type systems

Indexed keywords

EFFECT SYSTEM; GENERATIVITY; RECURSIONS; RECURSIVE MODULES; TYPE SYSTEMS;

ABSTRACT DATA TYPES; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

FUNCTIONAL PROGRAMMING;

EID: 34547810220     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086372     Document Type: Conference Paper

References (24)

1. Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993.
2. Davide Ancona and Elena Zucca. A primitive calculus for module systems. In International Conference on Principles and Practice of Declarative Programming (PPDP), volume 1702 of Lecture Notes in Computer Science, pages 62-79. Springer-Verlag, 1999.
3. Karl Crary, Robert Harper, and Sidd Puri. What is a recursive module? In ACM Conference on Programming Language Design and Implementation (PLDI), pages 50-63, Atlanta, GA, 1999.
4. Derek Dreyer. A type system for well-founded recursion. In ACM Symposium on Principles of Programming Languages (POPL), pages 293-305, Venice, Italy, January 2004.
5. Derek Dreyer. Understanding and Evolving the ML Module System. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, May 2005.
6. Derek Dreyer, Karl Crary, and Robert Harper. A type system for higher-order modules. In ACM Symposium on Principles of Programming Languages (POPL), New Orleans, LA, January 2003.
7. Dominic Duggan. Type-safe linking with recursive DLL's and shared libraries. ACM Transactions on Programming Languages and Systems, 24(6):711-804, November 2002.
8. Matthew Flatt and Matthias Felleisen. Units: Cool modules for HOT languages. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 236-248, Montreal, Canada, June 1998.
9. David K. Gifford and John M. Lucassen. Integrating functional and imperative programming. In ACM Conference on LISP and Functional Programming, Cambridge, MA, August 1986.
10. Mark P. Jones. Using parameterized signatures to express modular structure. In ACM Symposium on Principles of Programming Languages (POPL), pages 68-78, St. Petersburg Beach, FL, 1996.
11. Xavier Leroy. The Objective Caml system: Documentation and user's manual. http://www.ocaml.org/.
12. Xavier Leroy. Applicative functors and fully transparent higherorder modules. In ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), pages 142-153, San Francisco, CA, January 1995.
13. Xavier Leroy. A proposal for recursive modules in Objective Caml, May 2003. Available from the author's website.
14. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
15. Moscow ML. www.dina.kvl.dk/~sestoft/mosml.html.
16. MzScheme. www.plt-scheme.org/software/mzscheme/.
17. Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1998.
18. Andreas Rossberg. Generativity and dynamic opacity for abstract types. In International Conference on Principles and Practice of Declarative Programming (PPDP), Uppsala, Sweden, 2003.
19. Claudio V. Russo. Recursive structures for Standard ML. In International Conference on Functional Programming (ICFP), pages 50-61, Florence, Italy, September 2001.
20. Christopher A. Stone. Type definitions. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 9. MIT Press, 2005.
21. Christopher A. Stone and Robert Harper. Extensional equivalence and singleton types. ACM Transactions on Computational Logic, 2005. To appear.
22. Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. Information and Computation, 111(2):245-296, 1994.
23. Joseph C. Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, and Perry Cheng. Typed compilation of recursive datatypes. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), New Orleans, January 2003.
24. Philip Wadler. Listlessness is Better than Laziness. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, August 1985.