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

by S van Bakel
Venue:Journal of Logic Computation