The simple semantics for Coppe-Dezani-Sallé types (0)

by J R Hindley
Venue:Proceeding of the 5th Colloquium on International Symposium on Programming