Subtyping recursion and parametric polymorphism in kernel Fun
type: Item
instance of: scholarly article
title: Subtyping recursion and parametric polymorphism in kernel Fun
zbMATH Open document ID: 1156.68331
author: D. Colazzo
author: G. Ghelli
published in: Information and Computation
publication date: 2005-06-13T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2175394
zbMATH Keywords: Type theory and type systems
zbMATH Keywords: Subtyping
zbMATH Keywords: Recursive types
zbMATH Keywords: Kernel Fun
MaRDI profile type: Publication
full work available at URL: j.ic.2004.11.003
OpenAlex ID: W1976571588
cites work: Q4715213
cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
cites work: Compiling standard ML to Java bytecodes
cites work: Q3024900
cites work: A semantic basis for Quest
cites work: An extension of system \(F\) with subtyping
cites work: Coherence of subsumption, minimum typing and type-checking in F ≤
cites work: Type theories and object-oriented programmimg
cites work: Recursive subtyping revealed
cites work: Complexity of kernel fun subtype checking
cites work: Q4281471
cites work: Divergence of \(F_{\leq}\) type checking
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q4288818
cites work: Q4301602
cites work: Efficient recursive subtyping
cites work: Bounded quantification is undecidable
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: The subtyping problem for second-order types is undecidable.
DOI: 10.1016/J.IC.2004.11.003
Recommended article: Polymorphism, subtyping, and type inference in MLsub
Recommended article: Q3340118
Recommended article: Recursive subtyping revealed
Recommended article: Polymorphic subtyping in O'Haskell
Recommended article: Theoretical Computer Science
Recommended article: Q4823618
Recommended article: Finite subtype inference with explicit polymorphism
Recommended article: Polymorphic type inference with overloading and subtyping
Recommended article: Q4375803
description: scientific article; zbMATH DE number 2175394