A Program Inverter for a Functional Language with Equality and Constructors
No abstract available.
Related papers
- A functional programmer's guide to homotopy type theory ICFP 2016
- Sparcl: a language for partially-invertible computation ICFP 2020
- Sparcl: A language for partially invertible computation JFP 2024
- Partial type constructors in practice Haskell 2022
- Partial type constructors: or, making ad hoc datatypes less ad hoc POPL 2020
- On the Decision Problems of Program Schemas with Commutative and Invertable Functions POPL 1973
- Pattern Matching with Abstract Data Types JFP 1993
- A formal proof in Coq of a control function for the inverted pendulum CPP 2018