What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

First Page		Document Content
Date: 2018-08-18 17:00:38 Software engineering Computer programming Computing Functional languages OCaml Caml Procedural programming languages ML Conditional Exception handling Xavier Leroy		What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, Add to Reading List Source URL: ocaml.org Download Document from Source Website File Size: 395,55 KB Share Document on Facebook

	Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & DocID: 1vqAs - View Document
	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, DocID: 1vgAJ - View Document
	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 DocID: 1vcx1 - View Document
	What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, DocID: 1v9AG - View Document