Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Lars Birkedal
Lars Birkedal

Registered user since Wed 15 Feb 2017

Name:Lars Birkedal
Affiliation:Aarhus University
Personal website:http://cs.au.dk/~birke/

Contributions

ICFP 2020 Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris
Show activities from other conferences

ICFP 2020-profile
View general profile