Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (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 2019 Mechanized Relational Verification of Concurrent Programs with Continuations
Implementing a Modal Dependent Type Theory
Show activities from other conferences

ICFP 2019-profile
View general profile