Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Benjamin Moon

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 2020Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track
Show activities from other conferences

ICFP 2020-profile
View general profile