A calculus for overloaded functions with subtyping

We present a simple extension of typed -claculus where functions can be overloaded by adding different pieces of code. In short, the code of an overloaded function is formed by several branches of ...