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

by B Montagu, D Rémy
Venue:In POPL ’09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages