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