
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
ICFP 2016-profile
View general profile
View general profile