![Nathan Corbyn](https://icfp22.sigplan.org/getProfileImage/nathancorbyn/dc529aaf-de63-4569-81ab-b5c2617908c5/small.jpg?1711870538000)
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
GitHub: https://github.com/doctorn
Research interests:Programming Language Theory, Type Theory, Category Theory and Compiler Construction
Contributions
ICFP 2022-profile
View general profile
View general profile