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

Registered user since Thu 2 Jun 2022

Name:Nathan Corbyn
Bio:

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

Contributions

Show activities from other conferences

ICFP 2022-profile
View general profile