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

Dirk Dussart, Fritz Henglein, Christian Mossin

Browse the full SAS paper archive.