The Duality of λ-Abstraction

Open Webpage

Vikraman Choudhury, Simon J. Gay

Published: 01 Jan 2025, Last Modified: 07 Apr 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0