iiinova — where your digital self keeps evolving

Oisín Kidney

@doisinkidney.com

124 followers 217 following 10 posts

Functional programming researcher. doisinkidney.com (Personal site: doisinkidney.com/personal)

Tries for Polynomials doisinkidney.com/posts/2026-0...

POPL talk on Hyperfunctions: youtu.be/9M_E7mPaLQ4

POPL Talk on "Formalising Graph Algorithms with Coinduction" youtu.be/sgNT2w_f-o4 Paper here: doisinkidney.com/posts/2024-1...