A Modular Module System (2000)

Cached

Download Links

by Xavier Leroy
Venue:Journal of Functional Programming
Citations:79 - 0 self

Documents Related by Co-Citation

268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
39 A Theory of Mixin Modules: Basic and Derived Operators – Davide Ancona, Elena Zucca - 1996
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
89 Modularity meets Inheritance – Gilad Bracha , Gary Lindstrom - 1992
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
144 Program Fragments, Linking, and Modularization – Luca Cardelli, Luca Cardelli - 1997
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985
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