Follow
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
962016
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
712020
Fixing incremental computation
M Alvarez-Picallo, A Eyers-Taylor, MP Jones, CHL Ong
European Symposium on Programming, 525-552, 2019
252019
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
152020
Unraveling recursion: compiling an IR with recursion to System F
M Peyton Jones, V Gkoumas, R Kireev, K MacKenzie, C Nester, P Wadler
International Conference on Mathematics of Program Construction, 414-443, 2019
132019
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
112020
Babel fees via limited liabilities
MMT Chakravarty, N Karayannidis, A Kiayias, M Peyton Jones, ...
International Conference on Applied Cryptography and Network Security, 707-726, 2022
32022
Differential recursive evaluation of recursive aggregates
MP Jones
US Patent 9,996,583, 2018
12018
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