Modeling Abstract Types in Modules with Open Existential Types

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