Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Katherine Philip
conf.researchr.org general profile
POPL 2025 profile
Registered user since Sat 2 Sep 2023
Name:
Katherine Philip
Affiliation:
Portland State University
Contributions
2025
POPL
Author of Formalizing Representation Transformations: A Case Study of Bit Vector Types within the Student Research Competition-track
Committee Member in Student Volunteers
Share
x
Wed 28 May 16:09
