| 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 | 111 | 2016 |
| The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020 | 94 | 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 | 24 | 2020 |
| 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 | 15 | 2019 |
| 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 | 14 | 2020 |
| 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 | 3 | 2022 |
| 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 IOHK/IOGVerified email at inf.ed.ac.uk
