From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, - OCaml - Document - PDFSEARCH.IO

First Page	Meta Content
	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Document Date: 2012-10-10 03:52:03 Open Document File Size: 1,18 MB Share Result on Facebook

From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List