Tessera

Oisín Kidney

@doisinkidney.com

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

Tries for Polynomials - Donnacha Oisín Kidney

doisinkidney.com

POPL talk on Hyperfunctions: youtu.be/9M_E7mPaLQ4

youtu.be

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

[POPL'25] Formalising Graph Algorithms with Coinduction

YouTube video by ACM SIGPLAN

youtu.be