Polymorphism and Type Inference in Database Programming

by Peter Buneman, Atsushi Ohori · 1989