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

ICFP 2016 Activities

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