Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nico Lehmann
conf.researchr.org general profile
ICFP 2021 profile
PLDI 2023 profile
Registered user since Fri 7 Apr 2023
Name:
Nico Lehmann
Affiliation:
University of California, San Diego
Contributions
2023
PLDI
Author of Flux: Liquid Types for Rust within the PLDI Research Papers-track
2021
HIW
Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
Share
x
Thu 21 Nov 12:02