Lars Birkedal - POPL 2017

Sun 15 - Sat 21 January 2017

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