Non-Dependent Types for Standard ML Modules (1999)

Cached

Download Links

by Claudio V. Russo
Citations:17 - 4 self

Documents Related by Co-Citation

106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
134 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
27 Recursive Type Generativity – D Dreyer - 2005
15 Modeling Abstract Types in Modules with Open Existential Types – Benoît Montagu, Didier Rémy
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
69 Types for Modules – Claudio V. Russo - 1998
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
79 A Modular Module System – Xavier Leroy - 2000
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
14 A Type System for Recursive Modules – Derek Dreyer
291 Abstract types have existential type – J C Mitchell, G D Plotkin - 1988
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000