Polymorphic recursion and subtype quantifications: Polymorphic binding-time analysis in polynomial time (1995)

by Dirk Dussart, Fritz Henglein, Christian Mossin
Venue:Proceedings of SAS