Registered user since Sun 3 Oct 2021

Name:Alejandro Flores Lamas
Country:United Kingdom
Affiliation:Royal Holloway University of London

Contributions

POPL 2022 Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables
Show activities from other conferences

POPL 2022-profile
View general profile