Eske Hoy Nielsen - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Mon 8 Jan 2024

Name:Eske Hoy Nielsen

Affiliation:Aarhus University

Contributions

2023

CPP

Formalising Decentralised Exchanges in Coq

Show activities from other conferences

POPL 2023-profile
View general profile