The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler. - Rikard Hjort; Jakob Holmgren; Christian Persson (TFP, 2017)