Val Tannen, Albert R. Meyer. Polymorphism is conservative over simple types (Preliminary Report). In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 7-17, IEEE Computer Society, 1987.
@inproceedings{Breazu-TannenM87,
title = {Polymorphism is conservative over simple types (Preliminary Report)},
author = {Val Tannen and Albert R. Meyer},
year = {1987},
researchr = {https://researchr.org/publication/Breazu-TannenM87},
cites = {0},
citedby = {0},
pages = {7-17},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA},
publisher = {IEEE Computer Society},
}