| 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 | 70 | 2016 |
| 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 | 60 | 2020 |
| Fixing incremental computation M Alvarez-Picallo, A Eyers-Taylor, MP Jones, CHL Ong European Symposium on Programming, 525-552, 2019 | 25 | 2019 |
| 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 | 13 | 2020 |
| 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 | 10* | 2020 |
| 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 | 10 | 2019 |
| Babel Fees via Limited Liabilities MMT Chakravarty, N Karayannidis, A Kiayias, MP Jones, P Vinogradova arXiv preprint arXiv:2106.01161, 2021 | 2 | 2021 |
| Differential recursive evaluation of recursive aggregates MP Jones US Patent 9,996,583, 2018 | 1 | 2018 |
| 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 |
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
