Modeling Abstract Types in Modules with Open Existential Types

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

Active Bibliography

16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
16 Toward a Practical Type Theory for Recursive Modules – Derek R. Dreyer, Robert Harper, Karl Crary - 2001
A Logical Account of Type Generativity: Abstract types have open existential types – Benoît Montagu, Didier Rémy - 2008
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
73 Types for Modules – Claudio V. Russo - 1998
86 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
14 A Type System for Recursive Modules – Derek Dreyer
A type system for recursive models – Derek Dreyer - 2007