Notes for 15-417 (Higher Order Typed Compilation) - View it on GitHub