Dependent Types for Program Understanding
Abstract elided by the publisher.
Related papers
- Understanding functional dependencies via constraint handling rules JFP 2007
- Lightweight dependent classes GPCE 2008
- Pattern matching without K ICFP 2014
- Simplicitly: foundations and applications of implicit function types POPL 2018
- Eliminating dependent pattern matching without K JFP 2016
- Elaborating dependent (co)pattern matching: No pattern left behind JFP 2020
- Elaborating dependent (co)pattern matching ICFP 2018
- Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory JFP 2018