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

by Steffen Van Bakel
Venue:Logic and Computation
Citations:37 - 21 self