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

by J R Hindley
Venue:International symposium on programming, volume 137 of Lecture Notes in Computer Science