Modeling Abstract Types in Modules with Open Existential Types

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

Documents Related by Co-Citation

635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
28 Recursive type generativity – Derek Dreyer - 2007
109 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
227 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
14 A Type System for Recursive Modules – Derek Dreyer
17 Non-Dependent Types for Standard ML Modules – Claudio V. Russo - 1999
307 Abstract Types have Existential Type – John C Mitchell, Gordon D Plotkin - 1988