ETAPS 2019 (series) / Michael Peyton Jones
Registered user since Wed 2 May 2018
Name: Michael Peyton Jones
Country: United Kingdom
Affiliation: IOHK
Personal website: https://michaelpj.com
Research interests: Programming languages, Functional programming, Logic programming, Incremental programming, Datalog
Contributions
| ESOP 2019 | Author of Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog within the ESOP 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile