scientific article; zbMATH DE number 1301735

zbMATH Open0927.03081MaRDI QIDQ4246948FDOQ4246948

Authors: Alex K. Jones, Zhaohui Luo, Serguei V. Solov'ev 

Publication date: 13 December 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1086673
• Coercive subtyping
• Coherence and Transitivity in Coercive Subtyping
• Coercive subtyping: theory and implementation

zbMATH Keywords

type theorycoercive subtypingproof-theoretic and computational propertiessubset relationships

Mathematics Subject Classification ID

Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35)

Cited In (12)

• Coercion completion and conservativity in coercive subtyping
• An implementation of LF with coercive subtyping and universes
• Refinement Types as Proof Irrelevance
• Transitivity in coercive subtyping
• Integrating coercion with subtyping and multiple dispatch
• Relating Church-style and Curry-style subtyping
• Title not available (Why is that?)
• A framework for type inference with subtyping
• Typed operational semantics for higher-order subtyping.
• Subset Coercions in Coq
• Theoretical Computer Science
• Coherence and Transitivity in Coercive Subtyping

Uses Software

• LEGO

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 Q4246948)