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
Research interests:Dependent Type Theory, Substructural Type Theory, Coeffects


TyDe 2020 Graded Modal Dependent Type Theory (Extended Abstract)
Show activities from other conferences

ICFP 2020-profile
View general profile