A Type System for Algebraic Database Programming Languages (1989)

by D Jacobs
Venue:Proc. of the 2nd Intl. Workshop on Database Programming Languages