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