Polymorphism and type inference in database programming (1996)

by P Buneman, A Ohori
Venue:ACM Transactions on Database Systems