LURK: Lambda, the Ultimate Recursive Knowledge. - Nada Amin; John Burnham; François Garillot; Rosario Gennaro; Chhi'mèd Künzang; Daniel Rogozin; Cameron Wong (IACR Cryptol. ePrint Arch., 2023)

LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report). - Nada Amin; John Burnham; François Garillot; Rosario Gennaro; Chhi'mèd Künzang; Daniel Rogozin; Cameron Wong (Proc. ACM Program. Lang., 2023)