Static interpretation of modules

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 9, 1999, Pages 208-219

  Elsman, Martin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPILE TIME; EXECUTABLE CODES; LARGE PROGRAMS; RECOMPILATION; STANDARD ML; TYPED INTERMEDIATE LANGUAGES;

CODES (SYMBOLS);

EID: 17144422163     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/317765.317800     Document Type: Article

References (19)

1. Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In 23rd ACM Symposium on Principles of Programming Languages, January 1996.
2. Luis Damas and Robin Milner. Principal type schemes for functional programs. In 9th ACM Symposium on Principles of Programming Languages, January 1982.
3. Martin Elsman. Program Modules, Separate Compilation, and Intermodule Optimisation. PhD thesis, Department of Computer Science, University of Copenhagen, January 1999.
4. The Berkeley ANalysis Engine Group. The BANE de-functorizer. Available via the URL http://www.cs.berkeley.edu/Research/Aiken/bane.html.
5. Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In 21st ACM Symposium on Principles of Programming Languages, January 1994.
6. Robert Harper and Chris Stone. An interpretation of Standard ML in type theory. Technical report, Carnegie Mellon University, June 1997. CMU-CS-97-147.
7. Stefan Kahrs. Mistakes and ambiguities in the definition of Standard ML. Technical report, University of Edinburgh, Laboratory for Foundations of Computer Science, April 1993. There is an Addenda for this paper, written June 94.
8. Xavier Leroy. Polymorphic Typing of an Algorithmic Language. PhD thesis, INRIA, October 1992.
9. Xavier Leroy. Manifest types, modules, and separate compilation. In 21st ACM Symposium on Principles of Programming Languages, pages 109-122, 1994.
10. Robin Milner. A theory of type polymorphism in programming languages. Journal of Computer and System Sciences, 17:348-375, 1978.
11. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
12. Claudio V. Russo. Types for Modules. PhD thesis, University of Edinburgh, Department of Computer Science, June 1998.
13. Zhong Shao. Typed cross-module compilation. Technical report, Department of Computer Science, Yale University, July 1997. YALEU/DCS/TR-1126.
14. Mads Tofte. Operational Semantics and Polymorphic Type Inference. PhD thesis, University of Edinburgh, Department of Computer Science, May 1988.
15. Mads Tofte and Lars Birkedal. A region inference algorithm. Transactions on Programming Languages and Systems (TOPLAS), 20(4):734-767, 1998.
16. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML Kit (for version 3). Technical report, Department of Computer Science, University of Copenhagen, December 1998.
17. Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value λ-calculus using a stack of regions. In 21st ACM Symposium on Principles of Programming Languages, January 1994.
18. Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1997.
19. Stephen Weeks. smlc user's guide. A whole-program Standard ML compiler, August 1998.