M.B.Reinhold: 'Type' is not a type (1986)

by A R Meyer
Venue:Proc. POPL