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

Celý popis

Podrobná bibliografia

Vydané v:	Information and computation Ročník 117; číslo 1; s. 115 - 135
Hlavní autori:	Castagna, G., Ghelli, G., Longo, G.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	San Diego, CA Elsevier Inc 15.02.1995 Elsevier
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!