POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (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

CoqPL 2017 Logical Relations in Iris
POPL 2017 ERC member in External Review Committee within the POPL-track
Interactive Proofs in Higher-Order Concurrent Separation Logic
Session Chair of Semantic Foundations (part of POPL)
A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation Logic
Show activities from other conferences

POPL 2017-profile
View general profile