Type Systems for Programming Languages (1990)

by P Dybjer Cubri'c, P Scott
Venue:in: Handbook of Theoretical Computer Science, Vol.B, (Formal Models and Semantics