Graded monads and type-level programming for dependence analysis. - Finnbar Keating; Michael B. Gale (Haskell, 2021)

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. - Finnbar Keating; Michael B. Gale (Haskell, 2023)

Functional Reactive Programming, Rearranged. - Finnbar Keating; Michael B. Gale (Haskell, 2024)