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


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