Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Läwen
conf.researchr.org general profile
ICFP 2022 profile
PLNL 2025 profile
Registered user since Wed 12 Nov 2025
Name:
David Läwen
Country:
Netherlands
Affiliation:
Radboud University
Personal website:
https://david.laewen.xyz
Contributions
2025
PLNL
Author of Verified Translation of Guarded Programs within the PLNL 2025-track
2022
TyDe
Author of Structural Refinement Types within the TyDe 2022-track
Share
x
Sat 17 Oct 20:57