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

Full description

Saved in:

Bibliographic Details
Published in:	Information and computation Vol. 117; no. 1; pp. 115 - 135
Main Authors:	Castagna, G., Ghelli, G., Longo, G.
Format:	Journal Article
Language:	English
Published:	San Diego, CA Elsevier Inc 15.02.1995 Elsevier
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!