Modeling Abstract Types in Modules with Open Existential Types

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