Typed operational semantics for higher-order subtyping.
type: Item
instance of: scholarly article
title: Typed operational semantics for higher-order subtyping.
zbMATH Open document ID: 1055.68075
DOI: 10.1016/S0890-5401(03)00062-2
author: Adriana Compagnoni
author: Healfdene Goguen
published in: Information and Computation
publication date: 2003-08-19T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1967136
zbMATH Keywords: Subtyping
zbMATH Keywords: Type theory
zbMATH Keywords: Typed-operational semantics
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: Dependent kinds
describes a project that uses: Automath
describes a project that uses: PolyTOIL
MaRDI profile type: Publication
cites work: Q4715213
cites work: Subtyping dependent types
cites work: Q4023825
cites work: A filter lambda model and the completeness of type assignment
cites work: A modest model of records, inheritance, and bounded quantification
cites work: A semantics of multiple inheritance
cites work: Q4002146
cites work: Q4855343
cites work: A semantic basis for Quest
cites work: Operations on records
cites work: Q4474829
cites work: Q4945242
cites work: Q3837264
cites work: Q4012882
cites work: Coherence of subsumption, minimum typing and type-checking in F ≤
cites work: A characterization of F-complete type assignments
cites work: Q3994895
cites work: Q3024835
cites work: Q4301602
cites work: Q4246948
cites work: A system of constructor classes: overloading and implicit higher-order polymorphism
cites work: Q4281480
cites work: Q4385534
cites work: Q4322072
cites work: Higher-order subtyping
cites work: Q5286647
cites work: Intensional interpretations of functionals of finite type I
cites work: Parallel reductions in \(\lambda\)-calculus
description: scientific article; zbMATH DE number 1967136