Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vebjørn S. Øiestad
conf.researchr.org general profile
POPL 2026 profile
Not registered as user
Name:
Vebjørn S.
Øiestad
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
Sun 10 May 09:27