Nico Lehmann -

Registered user since Fri 7 Apr 2023

Name:Nico Lehmann

Country:Chile

Affiliation:University of Chile

Personal website: http://www.pleiad.cl/people/nlehmann

GitHub: https://github.com/nilehmann

Contributions

2027

ECOOP

Committee Member in Programme Committee within the Technical Papers-track

2026

Scheme

Author of An Incremental Approach to JIT Construction within the Scheme 2026-track

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

2017

POPL

Author of Gradual Refinement Types within the POPL-track

2016

CoqPL

Author of Formalizing Simple Refinements in Coq within the CoqPL-track