Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Barry Jay
conf.researchr.org general profile
POPL 2025 profile
Registered user since Sun 10 Jan 2021
Name:
Barry Jay
Contributions
2025
PEPM
Author of Typed Program Analysis Without Encodings within the PEPM 2025-track
Share
x
Wed 18 Dec 19:56