Donnacha Oisín Kidney

According to our database, Donnacha Oisín Kidney authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formalising Graph Algorithms with Coinduction.

Donnacha Oisín Kidney, Nicolas Wu

Proc. ACM Program. Lang., 2025

2024

Algebraic Effects Meet Hoare Logic in Cubical Agda.

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu

Proc. ACM Program. Lang., January, 2024

2023

Phases in Software Architecture.

Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

Breadth-First Traversal via Staging.

Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2021

Algebras for weighted search.

Donnacha Oisín Kidney, Nicolas Wu

Proc. ACM Program. Lang., 2021