Documents Related by Co-Citation

1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
269 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
625 Compiling with Continuations – A Appel - 1992
293 Abstract types have existential type – John C Mitchell, Gordon D Plotkin - 1988
366 Towards a theory of type structure – John C Reynolds - 1974
136 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
241 Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997