Donnacha Oisín Kidney's Blog doisinkidney.com

Tries for Polynomials

doisinkidney.com·3w·Lobsters

Monuses and Heaps

doisinkidney.com·11w·Lobsters, r/programming

POPL Paper—Hyperfunctions: Communicating Continuations

doisinkidney.com·26w

POPL Paper–Formalising Graphs with Coinduction

doisinkidney.com·78w·Hacker News

POPL Paper—Algebraic Effects Meet Hoare Logic in Cubical Agda

doisinkidney.com·132w

Lazily Grouping in Haskell

doisinkidney.com·187w

Depth Comonads

doisinkidney.com·211w

Weighted Search Package

doisinkidney.com·246w

ICFP Paper—Algebras for Weighted Search

doisinkidney.com·256w

Hyperfunctions

doisinkidney.com·270w

Master's Thesis

doisinkidney.com·280w

Trees indexed by a Cayley Monoid

doisinkidney.com·281w

Enumerating Trees

doisinkidney.com·283w

A Queue for Effectful Breadth-First Traversals

doisinkidney.com·286w

How to set up GitHub Actions for your Agda project

doisinkidney.com·287w

Fun with Combinators

doisinkidney.com·292w

Some More List Algorithms

doisinkidney.com·300w

Presentation on Purely Functional Data Structures

doisinkidney.com·313w

More Random Access Lists

doisinkidney.com·316w

Another Breadth-First Traversal

doisinkidney.com·326w

Log in to enable infinite scrolling