swMATH7403MaRDI QIDQ19435FDOQ19435
Author name not available (Why is that?)
Official website: http://homepages.inf.ed.ac.uk/wadler/realworld/plastic.html
Cited In (19)
- Manifest Fields and Module Mechanisms in Intensional Type Theory
- Coercion completion and conservativity in coercive subtyping
- Weyl's predicative classical mathematics as a logic-enriched type theory
- An implementation of LF with coercive subtyping and universes
- Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
- Coercive subtyping: theory and implementation
- Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions
- Natural language inference in Coq
- Transitivity in coercive subtyping
- Contextual analysis of word meanings in type-theoretical semantics
- Structural subtyping for inductive types with functorial equality rules
- LEGO
- FraCaS
- Title not available (Why is that?)
- Coherence and Transitivity in Coercive Subtyping
- A computational view of implicit coercions in type theory
- Advanced Functional Programming
- Title not available (Why is that?)
- Types for Proofs and Programs
This page was built for software: Plastic
