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.
@inproceedings{Coppo80,
title = {An Extended Polymorphic Type System for Applicative Languages},
author = {Mario Coppo},
year = {1980},
tags = {type system},
researchr = {https://researchr.org/publication/Coppo80},
cites = {0},
citedby = {0},
pages = {194-204},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
editor = {Piotr Dembinski},
volume = {88},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10027-X},
}