"Existential Type Systems with No Types in Terms."

Ken-etsu Fujita, Aleksy Schubert (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics