Computer Science University of Aarhus / Computer Science University of Aarhus† May / Computer Science University of Aarhus Ny Munkegade / /
Organization
Danish National Research Foundation / BRICS Department / University of Aarhus / Kevin Millikin BRICS∗ Department / Computer Science University of Aarhus Ny Munkegade / /
Person
Peyton Jones / Olivier Danvy / Olivier Danvy Kevin Millikin / Kevin Millikin / Dariusz Biernacki / Dariusz Biernacki Olivier Danvy Kevin / / /