[CakeML] FMCAD 2014 Invited talk by Xavier Leroy: Compiler verification for fun and profit
Mike Gordon
Mike.Gordon at cl.cam.ac.uk
Fri Oct 24 11:50:54 UTC 2014
http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/slides/FMCAD2014-Leroy.pdf
More information about the Users
mailing list