Compiling Lambda Calculus (2018) by Nils M. Holm
t3x.org