Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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 ]