Jesper Cockx - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Mon 16 Nov 2015

Name:Jesper Cockx

Country:Netherlands

Affiliation:TU Delft

Research interests:Type Theory, Dependently Typed Programming, Pattern Matching, Agda

Contributions

Haskell 2022	Demos Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
ICFP 2022	Practical generic programming over a universe of datatypes Committee Member in Program Committee within the ICFP Papers and Events-track Session Chair of (Gradual) Type Theory (part of ICFP Papers and Events)
Show activities from other conferences