Type Inference in a Database Programming Language (1988)

by A Ohori, P Buneman
Venue:In ACM Conference on LISP and Functional Programming