Donnacha Oisín Kidney

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

Collaborative distances:

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

2026

Hyperfunctions: Communicating Continuations.

Donnacha Oisín Kidney, Nicolas Wu

Proc. ACM Program. Lang., 2026

2025

The Agda standard library: version 2.0.

Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. s. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke

J. Open Source Softw., December, 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