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