Divergence of \(F_{\leq}\) type checking
type: Item
instance of: scholarly article
title: Divergence of \(F_{\leq}\) type checking
zbMATH Open document ID: 0874.68031
DOI: 10.1016/0304-3975(94)00037-J
author: G. Ghelli
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 985860
zbMATH Keywords: system \(F_ \leq\)
zbMATH Keywords: lambda calculus
MaRDI profile type: Publication
cites work: A paradigmatic object-oriented programming language: Design, static typing and semantics
cites work: A modest model of records, inheritance, and bounded quantification
cites work: A semantic basis for Quest
cites work: An extension of system \(F\) with subtyping
cites work: Operations on records
cites work: Coherence of subsumption, minimum typing and type-checking in F ≤
cites work: Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)
cites work: Type theories and object-oriented programmimg
cites work: Q5667469
cites work: Q4281471
cites work: Q4855349
cites work: Bounded quantification is undecidable
cites work: Q4068054
description: scientific article; zbMATH DE number 985860