"Associated paper: Polymorphic and Reflective Type Structures."

Suad Alagic (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics