Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luke Nelson
conf.researchr.org general profile
POPL 2022 profile
Registered user since Sun 11 Dec 2016
Name:
Luke Nelson
Contributions
2022
POPL
Author of A Formal Foundation for Symbolic Evaluation with Merging within the POPL-track
Share
x
Tue 3 Dec 17:53