David W. Stemple Tim Sheard Construction and Calculus of Types for Database Systems. 3-22 DBPL1987/P003.pdf 1987 DBPL db/conf/dbpl/dbpl87.html#StempleS87 conf/dbpl/87 db/conf/dbpl/StempleS87.html ... ... journals/csur/CardelliW85 journals/tods/SheardS89 conf/icde/StempleSB86