ICFP 2019 (series) / TyDe 2019 (series) / TyDe 2019 /
Reasoning about Effect Parametricity Using Dependent Types
In this extended abstract, we will describe how properties involving effect parametricity can be proved in ParamDTT, a dependent type system with support for parametricity.
Sun 18 Aug
|17:10 - 17:30|
Joris CeulemansKU Leuven, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit BrusselPre-print
|17:30 - 17:50|
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)Link to publication