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