Type Inference in the Presence of Overloading, Polymorphism and Coercions

• Authors:

• Thomas Letschert

• Affiliations:

• -

• Venue:
• Programmiersprachen und Programmentwicklung, 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft
• Year:
• 1984