Annotation Proceedings of the Fourth Annual Symposium on [title] held June 1989, Pacific Grove, CA. Comprises 38 papers on such topics as: stratified polymorphism; fixpoint extensions of first-order logic; type inference for record concatenation and multiple inheritance; substitutional recursion on non-well-founded sets; characterizing complexity classes by higher type. No index. Annotation copyrighted by Book News, Inc., Portland, OR
