Binding and Type Checking in Database Programming Languages.

Malcolm P. Atkinson Peter Buneman Ronald Morrison Binding and Type Checking in Database Programming Languages. 99-109 1988 31 Comput. J. 2 db/journals/cj/cj31.html#AtkinsonBM88