Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

Registered user since Tue 28 Jul 2020

Name: Patrik Keller

Affiliation: University of Innsbruck

Personal website: https://informationsecurity.uibk.ac.at/people/patrik-keller/

Contributions

OCaml 2020 LexiFi Runtime Types
Show activities from other conferences

ICFP 2020-profile
View general profile