CakeML

July 24th, 2016

A formally verified, optimising ML compiler, developed in collaboration with Cambridge, Chalmers, and Kent.