‪Donnacha Oisín Kidney‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	20	20
h-index	3	3
i10-index	0	0

0

12

6

202020212022202320241 4 11 4

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Zhixuan YangImperial College LondonVerified email at imperial.ac.uk

Donnacha Oisín Kidney

Donnacha Oisín Kidney

Imperial College London

Verified email at imperial.ac.uk - Homepage

Functional Programming Agda Haskell


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Algebras for weighted search DO Kidney, N Wu Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021	8	2021
Breadth-First Traversal Via Staging J Gibbons, DO Kidney, T Schrijvers, N Wu Mathematics of Program Construction, 2022	5	2022
Automatically and Efficiently Illustrating Polynomial Equalities in Agda DO Kidney University College Cork, 2019	3	2019
Algebraic Effects Meet Hoare Logic in Cubical Agda DO Kidney, Z Yang, N Wu POPL 2024, 2024	2	2024
Phases in Software Architecture J Gibbons, DO Kidney, T Schrijvers, N Wu Proceedings of the 1st ACM SIGPLAN International Workshop on Functional …, 2023	1	2023
Finiteness in cubical type theory DO Kidney University College Cork, 2020	1	2020
Formalising Graph Algorithms with Coinduction DO Kidney, N Wu POPL 2025, 2025		2025

The system can't perform the operation now. Try again later.

Articles 1–7