and Atsushi Ohori. Polymorphism and type inference in database programming (1996)

by Peter Buneman
Venue:ACM Transactions on Database Systems