ACM Transactions on Programming Languages and Systems 7(3) July 1985
(1985)
Donahue, James; Demers, Alan (1985)
Donahue, James; Demers, Alan "Data types are values"