scientific article; zbMATH DE number 1497808

MaRDI QIDQ4499226zbMATH OpenFDO

Authors Zhaohui Luo, Serguei V. Solov'ev

Publication date 4 March 2001

zbMATH Keywords

coercive subtypingdependent type

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 2236679
• Coercive subtyping
• On the power of coercion abstraction
• Types for Proofs and Programs
• Codependent cycles
• Dependence and independence
• Blame and coercion: Together again for the first time
• Grelling on dependence
• Coercive subtyping: theory and implementation
• scientific article; zbMATH DE number 2236684

Cited in

(5)

• Transitivity in coercive subtyping
• scientific article; zbMATH DE number 1124610 (Why is no real title available?)
• Foundations of dependent interoperability
• The definitional side of the forcing
• Nonuniform coercions via unification hints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499226)