Conditional Answers for Polymorphic Type Inference

Maarten H. van Emden. Conditional Answers for Polymorphic Type Inference. In Robert A. Kowalski, Kenneth A. Bowen, editors, Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (2 Volumes). pages 590-603, MIT Press, 1988.

Abstract

Abstract is missing.