Alex Eyers-Taylor

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Fixpoint Semantics

Recursive Queries

Top Venues

Publications

Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. ESOP (2019)
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog. CoRR (2018)