Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aria B. Eide
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Aria B.
Eide
Affiliation:
University of Bergen
Contributions
2026
RocqPL
Author of Towards a Mechanization of the ECMAScript (JavaScript) Proposal "Temporal" within the Rocq for Programming Languages 2026-track
Share
x
Mon 5 Oct 23:03