What is a recursive module?

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 5, 1999, Pages 50-60

  Crary, Karl ^a   Harper, Robert ^a   Puri, Sidd ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244377415     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/301631.301641     Document Type: Article

References (23)

1. Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM TOPLAS, 15(4):575-631, 1993.
2. Davide Ancona and Elena Zucca. An algebra of mixin modules. In F. Parisi-Presicce, editor, WADT '97 12th Workshop on Algebraic Development Techniques - Selected Papers, volume 1376 of Lecture Notes in Computer Science, pages 92-106, Berlin, 1997. Springer Verlag.
3. Matthias Blume. Hierarchical Modularity and Intermodule Optimization. PhD thesis, Princeton University, Department of Computer Science, Princeton, New Jersey, November 1997.
4. Luca Cardelli. Phase distinctions in type theory. Unpublished manuscript.
5. Karl Crary, Robert Harper, Perry Cheng, Leaf Petersen, and Chris Stone. Transparent and opaque interpretations of datatypes. Technical Report CMU-CS-98-177, Carnegie Mellon University, School of Computer Science, November 1998.
6. Dominic Duggan and Constantinos Sourelis. Mixin modules. In 1936 ACM SIGPLAN International Conference on Functional Programming, pages 262-273, Philadelphia, Pennsylvania, June 1996.
7. Dominic Duggan and Constantinos Sourelis. Parameterized modules, recursive modules, and mixin modules. In 1998 ACM SIGPLAN Workshop on ML, pages 87-96, Baltimore, Maryland, September 1998.
8. Matthew Flatt and Matthias Felleisen. Units: Cool modules for HOT languages. In 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 236-248, Montreal, Canada, June 1998.
9. Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123-137, Portland, Oregon, January 1994.
10. Robert Harper and John C. Mitchell. On the type structure of Standard ML. ACM Transactions on Programming Languages and Systems, 15(2):211-252, April 1993.
11. Robert Harper, John C. Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In Seventeenth ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990.
12. Robert Harper and Chris Stone. A type-theoretic interpretation of Standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, 1998. To appear.
13. Xavier Leroy. Manifest types, modules, and separate compilation. In Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages, pages 109-122, Portland, Oregon, January 1994.
14. Xavier Leroy. The Objective Caml system: Documentation and user's guide. Available at http://pauillac.inria.fr/ocaml/htmlman/., 1996.
15. David MacQueen. Modules for Standard ML. In 1984 ACM Conference on Lisp and Functional Programming, pages 198-207, Austin, Texas, August 1984.
16. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
17. Géraud Sénizergues. The equivalence problem for deterministic pushdown automata is decidable. In Twenty-Fourth International Colloquium on Automata, Languages, and Programming, volume 1256 of Lecture Notes in Computer Science, pages 671-681, Bologna, Italy, July 1997. Springer-Verlag.
18. Zhong Shao. An overview of the FLINT/ML compiler. In Proceedings of the 1997 ACM SIGPLAN Workshop on Types in Compilation, Kyoto, Japan, June 1997.
19. Zhong Shao. Equality of recursive types. (Private communication), September 1998.
20. Zhong Shao. Typed cross-module compilation. In 1998 ACM SIGPLAN International Conference on Functional Programming, pages 141-152, Baltimore, Maryland, September 1998.
21. Emin Gün Sirer, Marc E. Fiucynski, Przemyslaw Pardyak, and Brian N. Bershad. Safe dynamic linking in an extensible operating system. In Workshop on Compiler Support for System Software, Tucson, Arizona, February 1996.
22. Marvin Solomon. Type definitions with parameters (extended abstract). In Fifth ACM Symposium on Principles of Programming Languages, pages 31-38, Tucson, Arizona, January 1978.
23. David Tarditi, Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 181-192, Philadelphia, Pennsylvania, May 1996.