This project is joint work with
Benoît Montagu's defended his
in December 2010.
Modeling Abstract Types in Modules with Open Existential Types
A Logical Account of Type Generativity:
Abstract types have open existential types.
[ SLIDES ]
Towards a simpler account of modules and generativity: Abstract types have
open existential types.
[ fzip.pdf ]