A Second Look at Overloading

Martin Odersky; Philip Wadler; Martin Wehr

doi:10.1145/224164.224195

A Second Look at Overloading

Martin Odersky, Philip Wadler, Martin Wehr

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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.

Original language	English
Title of host publication	FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Publisher	ACM
Pages	135-146
Number of pages	12
ISBN (Print)	0-89791-719-7
DOIs	https://doi.org/10.1145/224164.224195
Publication status	Published - 1995

Access to Document

10.1145/224164.224195

http://dl.acm.org/citation.cfm?doid=224164.224195

Cite this

@inproceedings{59d4a21fe1b142eb812dcb55c358c8d9,

title = "A Second Look at Overloading",

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.",

author = "Martin Odersky and Philip Wadler and Martin Wehr",

year = "1995",

doi = "10.1145/224164.224195",

language = "English",

isbn = "0-89791-719-7 ",

pages = "135--146",

booktitle = "FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture",

publisher = "ACM",

}

TY - GEN

T1 - A Second Look at Overloading

AU - Odersky, Martin

AU - Wadler, Philip

AU - Wehr, Martin

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

U2 - 10.1145/224164.224195

DO - 10.1145/224164.224195

M3 - Conference contribution

SN - 0-89791-719-7

SP - 135

EP - 146

BT - FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

PB - ACM

ER -

A Second Look at Overloading

Abstract / Description of output

Access to Document

Fingerprint

Cite this