Paper: Polymorphism is conservative over simple types (Preliminary Report) (at LICS 1987)
Authors: Val Breazu-Tannen Albert R. MeyerAbstract
No Abstract Available
BibTeX
@InProceedings{BreazuTannenMeyer-Polymorphismisconse, author = {Val Breazu-Tannen and Albert R. Meyer}, title = {Polymorphism is conservative over simple types (Preliminary Report)}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {7--17}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }