Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (series) / TyDe 2019 (series) / TyDe 2019 /

Reasoning about Effect Parametricity Using Dependent Types

Joris Ceulemans, Andreas Nuyts, Dominique Devriese
TyDe 2019
Sun 18 Aug 2019 17:10 - 17:30 at Aurora Borealis - Effects Chair(s): David Darais

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.

http://tydeworkshop.org/2019-abstracts/paper11.pdf
Joris Ceulemans
Joris Ceulemans
KU Leuven
Belgium
Andreas Nuyts
Andreas Nuyts
KU Leuven, Belgium
Belgium
Dominique Devriese
Dominique Devriese
Vrije Universiteit Brussel
Belgium

Sun 18 Aug

tyde-2019-papers
17:10 - 18:10: TyDe 2019 - Effects at Aurora Borealis
Chair(s): David DaraisUniversity of Vermont
tyde-2019-papers17:10 - 17:30
Talk
Joris CeulemansKU Leuven, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel
Pre-print
tyde-2019-papers17:30 - 17:50
Talk
Koen JacobsKU Leuven, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel
Link to publication