Modules, abstract types, and distributed versioning

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 3, 2001, Pages 236-247

  Sewell, Peter ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17644385575     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/373243.360225     Document Type: Article

References (29)

1. [AWWV95] J. L. Armstrong, M. C. Williams, C. Wikström, and S. R. Virding. Concurrent Programming in Erlang. Prentice Hall, 2nd edition, 1995.
2. [BA99] Matthias Blume and Andrew W. Appel. Hierarchical modularity. ACM Transactions on Programming Languages and Systems, 21(4):813-847, July 1999.
3. [Car97] L. Cardelli. Program fragments, linking, and modularization. In POPL'97, pages 266-277, January 1997.
4. +89] Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 report (revised). Technical report, DEC SRC, September 1989. SRC-052.
5. [CL90] L. Cardelli and X. Leroy. Abstract types and the dot notation. In Programming Concepts and Methods, IFIP State of the Art Reports, pages 479-504. North Holland, March 1990. Also appeared as SRC Research Report 56.
6. [Dro00] Sophia Drossopoulou. Towards an abstract model of Java dynamic linking and verification. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). CMU Technical Report CMU-CS-00-161, September 2000.
7. [Dug00] Dominic Duggan. Sharing in typed module assembly language. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). CMU Technical Report CMU-CS-00-161, September 2000.
8. [FF98] M. Flatt and M. Felleisen. Units: Cool modules for hot languages. In PLDI 98, pages 236-248, 1998.
9. +96] Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Proceedings of CONCUR '96. LNCS 1119, pages 406-421. Springer-Verlag, August 1996.
10. [GM99] Neal Glew and Greg Morrisett. Type-safe linking and modular assembly language. In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pages 250-261, New York, NY, January 1999. ACM.
11. [HL94] Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 123-137, January 1994.
12. [HN00] Michael Hicks and Scott Nettles. Active networking means evolution (or enhanced extensibility required). In Proceedings of the Second International Working Conference on Active Networks, October 2000.
13. [HWC00] Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). CMU Technical Report CMU-CS-00-161, September 2000.
14. [Ler94] Xavier Leroy. Manifest types, modules, and separate compilation. In Conference Record of POPL '94: 21ST ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, pages 109-122, New York, NY, January 1994. ACM.
15. [Ler96] Xavier Leroy. A syntactic theory of type generativity and sharing. Journal of Functional Programming, 6(5):667-698, 1996.
16. [Ler00] Xavier Leroy. A modular module system. Journal of Functional Programming, 10(3):269-303, May 2000.
17. [Lil97] Mark Lillibridge. Translucent Sums: A Foundation for Higher-Order Module Systems. PhD thesis, CMU, 1997. CMU-CS-97-122.
18. [MPW92] R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I + II. Information and Computation, 100(1):1-77, 1992.
19. [MTH90] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, Cambridge, Mass., 1990.
20. [Ode95] Martin Odersky. Polarized name passing. In Proceedings of FSTTCS '95. LNCS 1026, December 1995.
21. [PS96] Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409-454, 1996.
22. [PT00] Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
23. [Rus98] Claudio V. Russo. Types For Modules. PhD thesis, University of Edinburgh, LFCS, 1998. ECS-LFCS-98-389.
24. [Sew00] Peter Sewell. Modules, abstract types, and distributed versioning. Technical Report 506, University of Cambridge, 2000. Available from http://uww.cl.cam. ac.uk/users/pes20/.
25. [SWP98] Peter Sewell, Pawel T. Wojciechowski, and Benjamin C. Pierce. Location independence for mobile agents. In Proceedings of the Workshop on Internet Programming Languages (Chicago), May 1998. Full version appeared in LNCS 1686.
26. [US01] Asis Unyapoth and Peter Sewell. Nomadic Pict: Correct communication infrastructure for mobile computation. In Proceedings of POPL 2001, January 2001. To appear.
27. [Woj00] Pawel T. Wojciechowski. Nomadic Pict: Language and Infrastructure Design for Mobile Computation. PhD thesis, Computer Laboratory, University of Cambridge, June 2000. Available as Technical Report 492.
28. [WS00] Pawel T. Wojciechowski and Peter Sewell. Nomadic Pict: Language and infrastructure design for mobile agents. IEEE Concurrency, 8(2):42-52, April-June 2000. Extended version of a paper in ASA/MA 99.
29. [ZGM99] Steve Zdancewic, Dan Grossman, and Greg Morrisett. Principals in programming languages: A syntactic proof technique. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), volume 34.9 of A CM Sigplan Notices, pages 197-207, N.Y., September 27-29 1999. ACM Press.