Documents Related by Co-Citation

224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
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
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
144 Program Fragments, Linking, and Modularization – Luca Cardelli, Luca Cardelli - 1997
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
69 Types for Modules – Claudio V. Russo - 1998
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
57 A Semantics for Higher-order Functors – David B. MacQueen, Mads Torre - 1994
59 Type-Safe Linking and Modular Assembly Language – Neal Glew, Greg Morrisett - 1999
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993