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 Talk | Joris CeulemansKU Leuven, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel Pre-print | |||||||||||||||||||||||||||||||||||||||||
17:30 - 17:50 Talk | Link to publication |