The simple semantics for Coppe-Dezani-Sallé types

J. Roger Hindley. The simple semantics for Coppe-Dezani-Sallé types. In Mariangiola Dezani-Ciancaglini, Ugo Montanari, editors, International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Volume 137 of Lecture Notes in Computer Science, pages 212-226, Springer, 1982.

Abstract

Abstract is missing.