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

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
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

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close

Sun 18 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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