Atsushi Ohori;Peter Buneman
-;-
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
The recursive record semantics of objects revisited
Journal of Functional Programming