Modules, abstract types, and distributed versioning

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 236-247

  Sewell, P ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; PROGRAM COMPILERS; SEMANTICS;

ABSTRACT TYPES; DISTRIBUTED VERSIONING; MODULES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0035030508     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/360204.360225     Document Type: Conference Paper

References (29)

1. Hierarchical modularity
2. Program fragments, linking, and modularization
3. Modula-3 report (revised)
4. Abstract types and the dot notation
5. Towards an abstract model of Java dynamic linking and verification
6. Sharing in typed module assembly language
7. Units: Cool modules for hot languages
8. A calculus of mobile agents
9. Type-safe linking and modular assembly language
10. A type-theoretic approach to higher-order modules with sharing
11. Active networking means evolution (or enhanced extensibility required)
12. Safe and flexible dynamic linking of native code
13. Manifest types, modules, and separate compilation
14. A syntactic theory of type generativity and sharing
15. A modular module system
16. A calculus of mobile processes, Parts I + II
17. Polarized name passing
18. Typing and subtyping for mobile processes
19. Pict: A programming language based on the picalculus
20. Modules, abstract types, and distributed versioning
21. Location independence for mobile agents
22. Nomadic pict: Correct communication infrastructure for mobile computation
23. Nomadic pict: Language and infrastructure design for mobile agents
24. Principals in programming languages: A syntactic proof technique