Personal information

No personal information available

Activities

Funding (1)

Low Level Functional Reactive Programming

2020-10-04 to 2024-03-31 | Grant
Engineering and Physical Sciences Research Council (Swindon, GB)
GRANT_NUMBER: 2436228
Source: Self-asserted source
Finnbar Keating via DimensionsWizard

Works (3)

Functional Reactive Programming, Rearranged

2024-08-29 | Conference paper
Contributors: Finnbar Keating; Michael B. Gale
Source: check_circle
Crossref

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium
2023-08-30 | Conference paper
Contributors: Finnbar Keating; Michael B. Gale
Source: Self-asserted source
Finnbar Keating

Graded monads and type-level programming for dependence analysis

Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell
2021-08-18 | Conference paper
Part of ISBN: 9781450386159
Source: Self-asserted source
Finnbar Keating
grade
Preferred source (of 2)‎