Registered user since Fri 7 Apr 2023

Name:Nico Lehmann
Affiliation:University of California, San Diego

Contributions

PLDI 2023 Flux: Liquid Types for Rust
Show activities from other conferences

Using general profile