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 |
Automated Discovery of New -Function Relations H Barral, R Géraud-Stewart, A Léonard, D Naccache, Q Vermande, ... arXiv preprint arXiv:2206.03604, 2022 | | 2022 |