Donnacha Oisín Kidney

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Change Impact Analysis

Search Strategy

Iterative Deepening

Top Venues

Proc. ACM Program. Lang.

Publications

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu
Algebraic Effects Meet Hoare Logic in Cubical Agda. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Phases in Software Architecture. FUNARCH (2023)
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
Breadth-First Traversal via Staging. MPC (2022)
Donnacha Oisín Kidney, Nicolas Wu
Algebras for weighted search. Proc. ACM Program. Lang. 5 (ICFP) (2021)