Registered user since Sat 21 May 2016

Name:Jeremy Yallop
Country:United Kingdom
Affiliation:University of Cambridge

Contributions

PEPM 2023 Modular Construction of Multi-sorted Free Extensions
Show activities from other conferences

POPL 2023-profile
View general profile