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.

Authors

Mario Coppo

This author has not been identified. Look up 'Mario Coppo' in Google