Michael Peyton Jones
Michael Peyton Jones
IOHK
Verified email at michaelpj.com - Homepage
Title
Cited by
Cited by
Year
QL: Object-oriented queries on relational data
P Avgustinov, O De Moor, MP Jones, M Schäfer
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
512016
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, MP Jones, ...
International Conference on Financial Cryptography and Data Security, 525-539, 2020
272020
Fixing incremental computation
M Alvarez-Picallo, A Eyers-Taylor, MP Jones, CHL Ong
European Symposium on Programming, 525-552, 2019
222019
Native custom tokens in the extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
International Symposium on Leveraging Applications of Formal Methods, 89-111, 2020
92020
UTXO: UTXO with Multi-asset Support
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
International Symposium on Leveraging Applications of Formal Methods, 112-130, 2020
62020
Unraveling recursion: compiling an IR with recursion to system F
MP Jones, V Gkoumas, R Kireev, K MacKenzie, C Nester, P Wadler
International Conference on Mathematics of Program Construction, 414-443, 2019
62019
Differential recursive evaluation of recursive aggregates
MP Jones
US Patent 9,996,583, 2018
12018
Babel Fees via Limited Liabilities
MMT Chakravarty, N Karayannidis, A Kiayias, MP Jones, P Vinogradova
arXiv preprint arXiv:2106.01161, 2021
2021
Query language distribution heuristics
A Sharad, A Eyers-Taylor, MP Jones
US Patent 10,691,681, 2020
2020
Differential recursive evaluation
MP Jones
US Patent 10,055,197, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–10