Registered user since Tue 22 Dec 2015

Name: Nicolás Lehmann

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

POPL 2017 Activities

• Author of Gradual Refinement Types within the POPL-track in POPL 2017
• Show activities from other conferences