
Registered user since Wed 15 Feb 2017
Name:Sam Lindley
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website:http://homepages.inf.ed.ac.uk/slindley
Contributions
PEPM 2023 | Modular Construction of Multi-sorted Free Extensions | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile