"A System of Constructor Classes: Overloading and Implicit Higher-Order ..."

Mark P. Jones (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics