Type Inference in the Presence of Overloading, Polymorphism and Coercions

Thomas Letschert. Type Inference in the Presence of Overloading, Polymorphism and Coercions. In Urs Ammann, editor, Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984, Proceedings. Volume 77 of Informatik-Fachberichte, pages 58-70, Springer, 1984.

Abstract

Abstract is missing.