
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