Inheritance and explicit coercion

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

TitleInheritance and explicit coercion
Publication TypeConference Paper
Year of Publication1989
AuthorsBreazu-Tannen V, Coquand T, Gunter CA, Scedrov A
EditorParikh R
Conference NameProceedings of 4th IEEE Symposium on Logic in Computer Science
Date PublishedJune
Conference LocationPacific Grove, California