Principal type schemes for the strict type assignment system (1993)

by Steffen Van Bakel
Venue:Logic and Computation
Citations:35 - 19 self