QL: Object-oriented Queries on Relational Data. - Pavel Avgustinov; Oege de Moor; Michael Peyton Jones; Max Schäfer (ECOOP, 2016)

Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. - Mario Alvarez-Picallo; Alex Eyers-Taylor; Michael Peyton Jones; C.-H. Luke Ong (ESOP, 2019)

Unraveling Recursion: Compiling an IR with Recursion to System F. - Michael Peyton Jones; Vasilis Gkoumas; Roman Kireev; Kenneth MacKenzie; Chad Nester; Philip Wadler (MPC, 2019)

The Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Michael Peyton Jones; Philip Wadler (Financial Cryptography Workshops, 2020)

Native Custom Tokens in the Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler (ISoLA (3), 2020)

UTXOsf ma: UTXO with Multi-asset Support. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler; Joachim Zahnentferner (ISoLA (3), 2020)

Babel Fees via Limited Liabilities. - Manuel M. T. Chakravarty; Nikos Karayannidis; Aggelos Kiayias; Michael Peyton Jones; Polina Vinogradova (ACNS, 2022)

Structured Contracts in the EUTxO Ledger Model. - Polina Vinogradova; Orestis Melkonian; Philip Wadler; Manuel M. T. Chakravarty; Jacco Krijnen; Michael Peyton Jones; James Chapman 001; Tudor Ferariu (FMBC@CAV, 2024)