An Extended Polymorphic Type System for Applicative Languages

Mario Coppo. An Extended Polymorphic Type System for Applicative Languages. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 194-204, Springer, 1980.

Abstract

Abstract is missing.