ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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 Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
Show activities from other conferences

ETAPS 2019-profile
View general profile