Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wolfgang Meier
conf.researchr.org general profile
POPL 2024 profile
Registered user since Sat 20 Jan 2024
Name:
Wolfgang Meier
Personal website:
https://womeier.de/
Contributions
2024
CoqPL
Author of CertiCoq-Wasm: Verified compilation from Coq to WebAssembly within the CoqPL 2024-track
Share
x
Thu 21 Nov 16:55