Modeling abstract types in modules with open existential types (2009)

by B MONTAGU, D RÉMY
Venue:In Principles of Programming Languages (POPL