Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolás Lehmann
conf.researchr.org general profile
POPL 2016 profile
POPL 2017 profile
Registered user since Tue 22 Dec 2015
Name:
Nicolás Lehmann
Personal website:
http://www.pleiad.cl/people/nlehmann
Contributions
2017
POPL
Author of Gradual Refinement Types within the POPL-track
2016
CoqPL
Author of Formalizing Simple Refinements in Coq within the CoqPL-track
Share
x
Mon 30 Dec 18:21
