Michael Peyton Jones

11 papers A 2B 2C 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
Plinth: A Plugin-Powered Language Built on Haskell (Experience Report).
Haskell
Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty
2024 — conf
Structured Contracts in the EUTxO Ledger Model.
FMBC@CAV
Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel M. T. Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, Tudor Ferariu
2022 B conf
Babel Fees via Limited Liabilities.
ACNS
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
2021 J jnl
Babel Fees via Limited Liabilities.
CoRR
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias, Michael Peyton Jones, Polina Vinogradova
2020 — conf
Native Custom Tokens in the Extended UTXO Model.
ISoLA (3)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020 — conf
The Extended UTXO Model.
Financial Cryptography Workshops
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
2020 — conf
UTXO
ISoLA (3)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2019 A conf
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
ESOP
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
2019 B conf
Unraveling Recursion: Compiling an IR with Recursion to System F.
MPC
Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
2018 J jnl
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
CoRR
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
2016 A conf
QL: Object-oriented Queries on Relational Data.
ECOOP
Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer