We discuss the solution to Assignment 4, which relates a formulation of
Mini-ML with explicit type schemas to our formulation. We then discuss
compilation of expression to a linear form, which will lead us to the
idea of continuation-passing style. We present a syntax, operational
semantics and compilation to expressions in continuation-passing style.