Modeling Abstract Types in Modules with Open Existential Types

Cached

Download Links

by Benoît Montagu , Didier Rémy
Citations:15 - 1 self

Document Versions

Modeling Abstract Types in Modules with Open Existential Types –Benoît Montagu, Didier Rémy