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