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.

Authors

Thomas Letschert

This author has not been identified. Look up 'Thomas Letschert' in Google