Witnessing (Co)datatypes
No abstract available.
Related papers
- From MinX to MinC: semantics-driven decompilation of recursive datatypes POPL 2016
- An induction principle for nested datatypes in intensional type theory JFP 2009
- A functional programmer's guide to homotopy type theory ICFP 2016
- Witnessing Purity, Constancy and Mutability APLAS 2009
- Witnessing Program Transformations SAS 2013
- Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015) TACAS 2015
- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation VMCAI 2024
- Small Witnesses for Abstract Interpretation-Based Proofs ESOP 2007