Polymorphism is conservative over simple types (Preliminary Report)

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.

Abstract

Abstract is missing.