Polymorphism is conservative over simple types

Submitted by dbgroup-admin on Thu, 05/27/2010 - 20:57

TitlePolymorphism is conservative over simple types
Publication TypeConference Paper
Year of Publication1987
AuthorsBreazu-Tannen V, Meyer AR
Conference NameProceedings of 2nd IEEE Symposium on Logic in Computer Science
Date PublishedJune
Conference LocationIthaca, New York