Modeling abstract types in modules with open existential types

Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types that is an ex

• Type: Conference
• Year: 2009
• Where: POPL
• Authors: Benoît Montagu, Didier Rémy
• Keywords: Open Existential Types, POPL 2009, Programming Languages