Luca Cardelli. Types for Data-Oriented Languages. In Joachim W. Schmidt, Stefano Ceri, Michele Missikoff, editors, Advances in Database Technology - EDBT 88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988. Volume 303 of Lecture Notes in Computer Science, pages 1-15, Springer, 1988. [doi]
Abstract is missing.