Type inference in a database programming language (1988)

by P Buneman
Venue:Symposium on LISP and Functional Programming