Extensional models for polymorphism

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

TitleExtensional models for polymorphism
Publication TypeConference Paper
Year of Publication1987
AuthorsBreazu-Tannen V, Coquand T
Conference NameLNCS 250: Proceedings of TAPSOFT - Colloquium on Functional and Logic Programming and Specifications, Pisa, March 1987
PublisherSpringer-Verlag