ETAPS 2019 (series) / Alexander Eyers-Taylor
Registered user since Thu 7 Feb 2019
Name: Alexander Eyers-Taylor
Country: United Kingdom
Affiliation: Semmle
Contributions
ESOP 2019 | Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile