Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Dan Licata

Registered user since Sat 23 Jul 2016

Name:Dan Licata
Country:United States
Affiliation:Wesleyan University
Research interests:type theory, category theory, logic, functional programming, cost analysis, education

Contributions

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

ICFP 2016-profile
View general profile