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