A Second Look at Overloading

A Second Look at Overloading (1995)

by Martin Odersky , Philip Wadler , Martin Wehr

Citations:

40 - 6 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Second Look at Overloading	user correction - Legacy Corrections
AUTHOR NAME	Martin Odersky	SVM HeaderParse 0.1
AUTHOR NAME	Philip Wadler	SVM HeaderParse 0.1
AUTHOR NAME	Martin Wehr	SVM HeaderParse 0.1
ABSTRACT	We study a minimal extension of the Hindley#Milner system that supports overloading and polymorphic records. We show that the type system is sound with respect to a standard untyped compositional semantics. We also show that every typable term in this system has a principal type and give an algorithm to reconstruct that type. 1 Introduction Arithmetic, equality, showing a value as a string: three operations guaranteed to give a language designer nightmares. Usually they are dealt with by some form of overloading; but which form is best? Even if we limit our attention to languages based on the highly successful Hindley#Milner type system, we #nd many di#ering treatments of overloading. The same language may treat di#erent operators di#erently; di#erent languages may treat the same operator di#erently; and the same language may treat the same operator di#erently over time. For instance, in Miranda arithmetic is de#ned only on a single numeric type; equality is a polymorphic function ...	user correction - Legacy Corrections
YEAR	1995	user correction - Legacy Corrections
CITATIONS	3 found	ParsCit 1.0