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 2019Author of Mechanized Relational Verification of Concurrent Programs with Continuations within the Research Papers-track
Author of Implementing a Modal Dependent Type Theory within the Research Papers-track
Show activities from other conferences

ICFP 2019-profile
View general profile