Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Simon Friis Vindum

Registered user since Wed 2 Dec 2020

Name: Simon Friis Vindum

Country: Denmark

Affiliation: Aarhus University

Personal website: https://www.cs.au.dk/~vindum/

GitHub: https://github.com/paldepind

Contributions

CPP 2021 Contextual Refinement of the Michael-Scott Queue (Proof Pearl)
Show activities from other conferences

Using general profile