The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler.

Rikard Hjort Jakob Holmgren Christian Persson

Published in: TFP (2017)

Keyphrases

intermediate representations
programming language
general purpose
particle filter
machine learning
decision trees
intermediate representation