A calculus for overloaded functions with subtyping
From MaRDI portal
Publication:1891168
DOI10.1006/inco.1995.1033zbMath0819.03005DBLPjournals/iandc/CastagnaGL95OpenAlexW1994181029WikidataQ56145254 ScholiaQ56145254MaRDI QIDQ1891168
Giuseppe Castagna, Giorgio Ghelli
Publication date: 27 August 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1033
strong normalizationoverloadingextension of typed \(\lambda\)-calculusobject-orientednesstype-dependent calculus
Related Items (20)
A meta-language for typed object-oriented languages ⋮ Unnamed Item ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping ⋮ Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) ⋮ Typed generic traversal with term rewriting strategies ⋮ A domain-theoretic semantics of lax generic functions. ⋮ Applicative intersection types ⋮ Disjoint Polymorphism ⋮ A Type Theory for Probabilistic $$\lambda $$–calculus ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. ⋮ Explicit mathematics: power types and overloading ⋮ A declarative framework for object-oriented programming with genetic inheritance ⋮ Basic theory of \(F\)-bounded quantification. ⋮ Dependent types with subtyping and late-bound overloading ⋮ Foundations for extensible objects with roles ⋮ Modular statically typed multimethods ⋮ Taming the Merge Operator ⋮ Elaborating intersection and union types
Uses Software
This page was built for publication: A calculus for overloaded functions with subtyping
