Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis (1995)

by D Dussart, F Henglein, C Mossin
Venue:in Polynomial Time. SAS’95: Lecture Notes in Computer Science 983