HYIP-Man: The verified CakeML compiler back end [pdf]
Sunday, January 06, 2019
The verified CakeML compiler back end [pdf]
The verified CakeML compiler back end [pdf]

more