Type’ is not a type: Preliminary report (1986)

by A R MEYER, M J3 REINHOLD
Venue:In Proceedwgs of the 13th Annual A CM Symposnwn on Principles of Programtnmg Languages (St. Petersburg