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