Polymorphic binding-time analysis in polynomial time (1995)

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