Registered user since Fri 6 Mar 2015

Name: Jens Palsberg

Affiliation: University of California, Los Angeles

Personal website: http://www.cs.ucla.edu/~palsberg

POPL 2017 Activities

• Author of Typed Self-Evaluation via Intensional Type Functions within the POPL-track in POPL 2017
• Show activities from other conferences