Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989.
IEEE Computer Society 1989, ISBN 0-8186-1954-6
Dana S. Scott: Domains and Logics (Extended Abstract).
4-5, (Invited talk)
Andrew M. Pitts: Non-trivial Power Types Can't Be Subtypes of Polymorphic Types.
6-13
Eugenio Moggi: Computational Lambda-Calculus and Monads.
14-23
Mitchell Wand: Type Inference for Record Concatenation and Multiple Inheritance.
92-97
A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn: Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report).
98-105
data released under the ODC-BY 1.0 license
