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

by Dirk Dussart, Fritz Henglein, Christian Mossin
Venue:Static Analysis, Second International Symposium, number 983 in Lecture