
Registered user since Wed 6 May 2020
Name:Shon Feder
Country:United States
Affiliation:Informal Systems Inc
Personal website:http://shonfeder.net/
Research interests:PLT, Type Theory, Digital Humanities
Contributions
OCaml 2020 | Volunteer in Organizing Committee within the OCaml 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile