![Benjamin Moon](https://icfp20.sigplan.org/getProfileImage/benjaminmoon/ccb70f00-fe02-4a53-97f8-8ee49b5a16a3/small.jpg?1715160501000)
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