Modeling abstract types in modules with open existential types.

Benot Montagu, Didier Rmy

Browse the full POPL paper archive.