Oisín Kidney
@doisinkidney.com
PhD student in functional programming.
doisinkidney.com
doisinkidney.com
POPL Talk on "Formalising Graph Algorithms with Coinduction"
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
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
May 4, 2025 at 9:14 AM
POPL Talk on "Formalising Graph Algorithms with Coinduction"
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...