Modeling Abstract Types in Modules with Open Existential Types

Cached

Download Links

by Benoît Montagu , Didier Rémy
Citations:15 - 1 self

Documents Related by Co-Citation

27 Recursive Type Generativity – D Dreyer - 2005
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
14 A Type System for Recursive Modules – Derek Dreyer
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
17 Non-Dependent Types for Standard ML Modules – Claudio V. Russo - 1999
25 Design considerations for MLstyle module systems – R Harper, B C Pierce - 2005
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
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
79 A Modular Module System – Xavier Leroy - 2000
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
69 Types for Modules – Claudio V. Russo - 1998
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
35 Extensional equivalence and singleton types – Christopher A. Stone, Robert Harper