Polymorphic Type Schemes and Recursive De (1984)

by A Mycroft
Venue:In Proc. 6th Int. Conf. on Programming, number 167 in LNCS