Oisín Kidney
@doisinkidney.com
📤 109
📥 183
📝 8
Functional programming researcher. doisinkidney.com
Tries for Polynomials
doisinkidney.com/posts/2026-0...
loading . . .
Tries for Polynomials - Donnacha Oisín Kidney
https://doisinkidney.com/posts/2026-04-28-poly-trie.html
about 1 month ago
0
8
5
POPL talk on Hyperfunctions:
youtu.be/9M_E7mPaLQ4
loading . . .
https://youtu.be/9M_E7mPaLQ4
4 months ago
0
1
0
POPL Talk on "Formalising Graph Algorithms with Coinduction"
youtu.be/sgNT2w_f-o4
Paper here:
doisinkidney.com/posts/2024-1...
loading . . .
[POPL'25] Formalising Graph Algorithms with Coinduction
YouTube video by ACM SIGPLAN
https://youtu.be/sgNT2w_f-o4
about 1 year ago
0
7
2
you reached the end!!
feeds!
log in
