Article about destination-passing style lambda calculus in a linear setting - View it on GitHub