Publications of Penn Database Group

Found 3 results

1991
Breazu-Tannen V, Coquand T, Gunter CA, Scedrov A.  1991.  Inheritance and explicit coercion. Information and Computation. 93:172-221.
1989
Breazu-Tannen V, Coquand T, Gunter CA, Scedrov A.  1989.  Inheritance and explicit coercion. Proceedings of 4th IEEE Symposium on Logic in Computer Science. :112-129.
1988