Polymorphism and Type Inference in Database Programming,” (1996)

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