Coercive subtyping: theory and implementation
type: Item
instance of: scholarly article
title: Coercive subtyping: theory and implementation
zbMATH Open document ID: 1267.03042
author: Zhaohui Luo
author: Taoxue Xue
author: Serguei V. Solov'ev
published in: Information and Computation
publication date: 2013-06-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6171336
zbMATH Keywords: coercive subtyping
zbMATH Keywords: conservativity
zbMATH Keywords: definitional extension
zbMATH Keywords: subsumptive subtyping
zbMATH Keywords: type theory
zbMATH Keywords: proof assistant \texttt{Plastic}
describes a project that uses: Plastic
MaRDI profile type: Publication
full work available at URL: j.ic.2012.10.020
OpenAlex ID: W2158657245
DOI: 10.1016/J.IC.2012.10.020
description: scientific article; zbMATH DE number 6171336