Harrison
Grodin
Toggle navigation
about
blog
(current)
publications
cv
teaching
Poly-morphic effect handlers
January 3, 2024
2024
·
polynomial functors
category theory
programming languages