Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

Dirk Dussart Fritz Henglein Christian Mossin Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time 118-135 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#DussartHM95