An expressive language of signatures

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

Volumn , Issue , 2005, Pages 27-40

  Ramsey, Norman ^a   Fisher, Kathleen ^b   Govereau, Paul ^a  

^a HARVARD UNIVERSITY   (United States)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

Interfaces; Objective Caml; Programming in the large; Signature manipulation; Signatures; Standard ML

Indexed keywords

CONSERVATIVE EXTENSIONS; FORMAL SEMANTICS; OBJECTIVE CAML; SIGNATURE MANIPULATION; SIGNATURES; SOFTWARE COMPONENT; STANDARD ML; SUBTYPING RELATION;

COMPUTER PROGRAMMING LANGUAGES; INTERFACES (MATERIALS);

FUNCTIONAL PROGRAMMING;

EID: 33644896922     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086371     Document Type: Conference Paper

References (14)

1. Matthias Blume and Andrew W. Appel. 1999 (July). Hierarchical modularity. ACM Transactions on Programming Languages and Systems, 21(4):813-847.
2. Karl Crary, Robert Harper, and Sidd Puri. 1999 (May). What is a recursive module? Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 34(5):50-63.
3. Derek Dreyer, Karl Crary, and Robert Harper. 2003 (January). A type system for higher-order modules. Conference Record of the 30th Annual ACM Symposium on Principles of Programming Languages, in SIGPLAN Notices, 38(1):236-249.
4. Kathleen Fisher and John Reppy. 1999 (May). The design of a class mechanism for Moby. Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 34(5):37-49.
5. Robert Harper and Mark Lillibridge. 1994 (January). A typetheoretic approach to higher-order modules with sharing. In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 123-137.
6. Robert Harper and Benjamin C. Pierce. 2005. Design considerations for ML-style module systems. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 8. MIT Press.
7. Robert Harper and Christopher Stone. 2000. A type-theoretic interpretation of Standard ML. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press.
8. Roberto Ierusalimschy. 2003 (December). Programming in Lua. Lua.Org. ISBN 85-903798-1-7.
9. Xavier Leroy. 1994 (January). Manifest types, modules, and separate compilation. In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 109-122.
10. Xavier Leroy. 2000 (May). A modular module system. Journal of Functional Programming, 10(3):269-303.
11. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts.
12. John C. Mitchell and Gordon D. Plotkin. 1988 (July). Abstract: types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470-502.
13. Norman Ramsey, Kathleen Fisher, and Paul Govereau. 2005 (September). An expressive language of interfaces. extended version. Technical report, Division of Engineering and Applied Sciences, Harvard University. To appear.
14. Claudio V. Russo. 2001 (October). Recursive structures for Standard ML. Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), in SIGPLAN Notices, 36(10):50-61.