Types for Data-Oriented Languages. Advances in Database Technology – EDBT '88. Lecture Notes in Computer Science - Cardelli, L (1988)