Type Inference in a Database Programming Language (1988)

by A Ohori, P Buneman
Venue:Proc. ACM Conf. on LISP and Functional Programming