Registered user since Mon 23 Aug 2021

Name:Dougal Maclaurin
Affiliation:Google Research

Contributions

Show activities from other conferences

POPL 2022-profile
View general profile