LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
Published in Journal of Functional Programming, vol. 36, art. 14, 2026
Journal version of the ICFP 2023 paper. Pre-print available at IACR. DOI: 10.46298/jfp.17841
François Garillot
Lead engineer at Miden since 2025, working on zero-knowledge systems.
- Montreal
- Miden
- Github
- Stackoverflow
- Google Scholar
- ORCID