scientific article; zbMATH DE number 1361477
From MaRDI portal
Publication:4699295
Recommendations
Cited in
(18)- System ST toward a type system for extraction and proofs of programs
- A sequent calculus for subtyping polymorphic types
- Dependent types with subtyping and late-bound overloading
- Subtyping inheritance and its application in languages for symbolic computation systems
- scientific article; zbMATH DE number 1670475 (Why is no real title available?)
- scientific article; zbMATH DE number 1722663 (Why is no real title available?)
- scientific article; zbMATH DE number 1114034 (Why is no real title available?)
- scientific article; zbMATH DE number 1156716 (Why is no real title available?)
- scientific article; zbMATH DE number 1512607 (Why is no real title available?)
- Coq without type casts: a complete proof of Coq Modulo Theory
- scientific article; zbMATH DE number 1863390 (Why is no real title available?)
- A delegation-based object calculus with subtyping
- A calculus of constructions with explicit subtyping
- A type-checking algorithm for Martin-Löf type theory with subtyping based on normalisation by evaluation
- Theoretical Computer Science
- Theorem Proving in Higher Order Logics
- Subtyping dependent types
- Fast verified BCD subtyping
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 Q4699295)
