Publications of Penn Database Group

Found 2 results

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.
Breazu-Tannen V, Meyer AR.  1985.  Lambda calculus with constrained types (Extended abstract). LNCS 193: Proceedings of the Conference on Logics of Programs, Brooklyn, June 1985. :23–40.