CakeML: A Verified Implementation of ML Ramana Kumar ∗ 1 Magnus O. Myreen † 1 1 - .ml - Document - PDFSEARCH.IO

First Page	Meta Content
	CakeML: A Verified Implementation of ML Ramana Kumar ∗ 1 Magnus O. Myreen † 1 1 Add to Reading List Document Date: 2013-11-13 08:58:33 Open Document File Size: 332,10 KB Share Result on Facebook

CakeML: A Verified Implementation of ML Ramana Kumar ∗ 1 Magnus O. Myreen † 1 1Add to Reading List