These are pretty typeset notes from 15-417, Higher Order Type Compilation, taught by Karl Crary in spring of 2017 at CMU.
Nothing specific to implementation is mentioned beyond what is covered in lecture. These notes are unofficial. Correctness and completeness are not guarantees.