A.Demers: Data types are values (1985)

by J Donahue
Venue:ACM TOPLAS