Proof-producing synthesis of CakeML from monadic HOL functions O Abrahamsson, S Ho, H Kanabar, R Kumar, MO Myreen, M Norrish, ... Journal of Automated Reasoning 64, 1287-1306, 2020 | 13 | 2020 |
PureCake: A verified compiler for a lazy functional language H Kanabar, S Vivien, O Abrahamsson, MO Myreen, M Norrish, JÅ Pohjola, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 952-976, 2023 | 4 | 2023 |