A Calculus for Overloaded Functions with Subtyping

We present a simple extension of typed λ-calculus where functions can be overloaded by putting different "branches of code" together. When the function is applied, the branch to execute is chosen according to a particular selection rule which depends on the type of the argument. The crucia...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and computation Jg. 117; H. 1; S. 115 - 135
Hauptverfasser:	Castagna, G., Ghelli, G., Longo, G.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	San Diego, CA Elsevier Inc 15.02.1995 Elsevier
Schlagworte:	Applied sciences Computer Science Computer science; control theory; systems Exact sciences and technology Mathematics Programming theory Theoretical computing Functional language Typing Overload Branch Lambda calculus Object oriented Selection rule
ISSN:	0890-5401, 1090-2651
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!