Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong. LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report). Proceedings of the ACM on Programming Languages, 7(ICFP):259-274, August 2023. [doi]
Abstract is missing.