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
100 2016 The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
74 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
17 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
13 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
12 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