The simple semantics for Coppo-Dezani-Sallé types (1982)

by J R Hindley
Venue:International Symposium on Programming, 5th Colloquium, vol. 137 of LNCS