Dependent types with subtyping and late-bound overloading
type: Item
instance of: scholarly article
title: Dependent types with subtyping and late-bound overloading
zbMATH Open document ID: 1007.68029
author: Giuseppe Castagna
author: Gang Chen
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1853182
describes a project that uses: ML
describes a project that uses: CLOS
describes a project that uses: Automath
describes a project that uses: Nuprl
describes a project that uses: Cecil
MaRDI profile type: Publication
full work available at URL: inco.2001.3128
OpenAlex ID: W2036414952
cites work: Subtyping dependent types
cites work: Q4474826
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A filter lambda model and the completeness of type assignment
cites work: A semantics of multiple inheritance
cites work: Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping
cites work: Q4335420
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Typed operational semantics for higher-order subtyping.
cites work: Q4281468
cites work: A calculus for overloaded functions with subtyping
cites work: Q4699295
cites work: Q3024903
cites work: Q4281471
cites work: Q3791120
cites work: A framework for defining logics
cites work: Q4362923
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Intensional interpretations of functionals of finite type I
cites work: Q4263883
DOI: 10.1006/INCO.2001.3128
description: scientific article; zbMATH DE number 1853182