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