Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
55 Abstract types and the dot notation – Luca Cardelli, Xavier Leroy - 1990
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
57 A Semantics for Higher-order Functors – David B. MacQueen, Mads Torre - 1994
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
198 Reflections on Standard ML – David B. MacQueen - 1992
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
363 Towards a theory of type structure – J C Reynolds - 1974
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
24 A type discipline for program modules – R Harper, R Milner, M Tofte - 1987
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
61 Smartest Recompilation – Zhong Shao, Andrew W. Appel - 1993