Dan Licata - ICFP 2016

Sun 18 - Sat 24 September 2016 Nara, Japan

Registered user since Sat 23 Jul 2016

Name: Dan Licata

Country: United States

Affiliation: Wesleyan University

Personal website: http://dlicata.web.wesleyan.edu

Research interests: type theory, category theory, logic, functional programming, cost analysis, education

Contributions

PLMW 2016	Author of Introduction to Dependent Types within the PLMW-track Committee Member in Speakers within the PLMW-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track Keynote Speaker of A Functional Programmer's Guide to Homotopy Type Theory within the Keynote Talks-track
Show activities from other conferences