
Registered user since Sun 21 Jun 2020
Name: Benjamin Moon
Country: United Kingdom
Affiliation: School of Computing, University of Kent
Personal website: https://www.cs.kent.ac.uk/people/rpg/bgm4/
Research interests: Dependent Type Theory, Substructural Type Theory, Coeffects
Contributions
TyDe 2020 | Graded Modal Dependent Type Theory (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile