ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Nathan Corbyn

Registered user since Thu 2 Jun 2022

Name:Nathan Corbyn

Nathan Corbyn is a second-year DPhil student at the University of Oxford. His research interests span programming language theory, type theory, category theory, and compiler construction with a particular interest in the intersection. His recent work has focused on the theory and applications of free extensions of algebras.

Country:United Kingdom
Affiliation:University of Oxford
Personal website:https://nathancorbyn.com
Research interests:Programming Language Theory, Type Theory, Category Theory and Compiler Construction


ICFP 2022 Generalised free extensions
TyDe 2022 Normalization by Evaluation with Free Extensions (Extended Abstract)
Show activities from other conferences

ICFP 2022-profile
View general profile