Dean Jacobs. A Type System for Algebraic Database Programming Languages. In Richard Hull, Ronald Morrison, David W. Stemple, editors, Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon. pages 238-247, Morgan Kaufmann, 1989. [doi]
Abstract is missing.