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á bibliografie

Vydáno v:	Information and computation Ročník 117; číslo 1; s. 115 - 135
Hlavní autoři:	Castagna, G., Ghelli, G., Longo, G.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	San Diego, CA Elsevier Inc 15.02.1995 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!