Registered user since Sat 23 Jul 2016
Name:Daniel R. 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