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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.