Program Fragments, Linking, and Modularization (1997)

by Luca Cardelli , Luca Cardelli
Venue:In ACM Symp. on Principles of Programming Languages
Citations:144 - 0 self

Documents Related by Co-Citation

59 Type-Safe Linking and Modular Assembly Language – Neal Glew, Greg Morrisett - 1999
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
60 The Security of Static Typing with Dynamic Linking – Drew Dean - 1997
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
34 Java is Not Type-Safe – Vijay Saraswat - 1997
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
150 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
86 Proving Java Type Soundness – Don Syme - 1997
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
198 Reflections on Standard ML – David B. MacQueen - 1992