Not registered as user yet

Name:Joel D. Day
Country:United Kingdom
Affiliation:Loughborough University

Contributions

POPL 2023 Author of On the Expressive Power of String Constraints within the POPL-track
FormaliSE 2020 Author of Rule-based Word Equation Solving within the FormaliSE 2020-track