Harrison
Grodin
Toggle navigation
about
publications
blog
cv
teaching
polynomial functors
an archive of posts with this tag
Jan 03, 2024
Poly-morphic effect handlers