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

by Steffen Van Bakel
Venue:Logic and Computation
Citations:36 - 20 self