Compiling Lambda Calculus (2018) by Nils M. Holm | Dark Hacker News