Login / Signup
Finnbar Keating
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Automatic Analysis
Top Venues
Haskell
</>
Publications
</>
Finnbar Keating
,
Michael B. Gale
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs.
Haskell
(2023)
Finnbar Keating
,
Michael B. Gale
Graded monads and type-level programming for dependence analysis.
Haskell
(2021)