@article{Allais_2025,
    author = {Guillaume Allais and Edwin Brady and Nathan Corbyn and Ohad Kammar and Jeremy Yallop},
    doi = {https://dx.doi.org/10.1145/3747506},
    title = {{Frex: Dependently Typed Algebraic Simplification}},
    volume = {9},
    issn = {2475-1421},
    url = {http://dx.doi.org/10.1145/3747506},
    number = {ICFP},
    journal = {Proceedings of the ACM on Programming Languages},
    publisher = {Association for Computing Machinery (ACM)},
    year = {2025},
    month = {aug},
    pages = {30--65},
    date-added = {2026-1-6 9:59:32 +0100},
    nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/Allais_2025/},
    date-modified = {2026-1-6 9:3:55 +0100}
}

@article{Allais_2025, author = {Guillaume Allais and Edwin Brady and Nathan Corbyn and Ohad Kammar and Jeremy Yallop}, doi = {https://dx.doi.org/10.1145/3747506}, title = {{Frex: Dependently Typed Algebraic Simplification}}, volume = {9}, issn = {2475-1421}, url = {http://dx.doi.org/10.1145/3747506}, number = {ICFP}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery (ACM)}, year = {2025}, month = {aug}, pages = {30--65}, date-added = {2026-1-6 9:59:32 +0100}, nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/Allais_2025/}, date-modified = {2026-1-6 9:3:55 +0100} }