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
PLDI 2018 Presenter of Declarative Program Analysis with QL within the PLDI Tutorials-track
ECOOP 2016 Author of QL: Object-oriented Queries on Relational Data within the Research Track-track