Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Andreas Nuyts

Registered user since Thu 4 May 2017

Name: Andreas Nuyts

Country: Belgium

Affiliation: KU Leuven, Belgium

Personal website: https://anuyts.github.io

Research interests: Dependent type theory, parametricity, directed type theory, presheaf models

Contributions

TyDe 2019 How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
Reasoning about Effect Parametricity Using Dependent Types
Show activities from other conferences

ICFP 2019-profile
View general profile