Type inference in a database programming language (1988)

by A Ohori, P Buneman
Venue:in: Proc. ACM Conj on LISP and Funcfional Programming