How to find outstanding people to work with? A few years back, in 2010, I gave a talk to the graduating class of DIET. As part of the IEEE Gold. My talk was partly based on my own experience and partly based on what I thought were the key traits of successful software engineers.

And especially the OCaml Programming Language. Programming of Massively Distributed Systems. Type-checking and JIT compilation of Scilab code. One of the main results is Scilint. Improvement and Optimization of automatic theorem provers for Atelier B, and especially the Alt-Ergo.

I am the founder of Tarides,. Where we build secure, performant and resource-efficient network and storage services using MirageOS. Previously, I was engineer at Docker. Where I workded on Docker for Mac and Windows and I co-founded Unikernel Systems,. Where I was Chief Architect, to make unikernels. Easier to use so that they can be shipped and deployed everywhere. I also was Senior Research Associate at the University of Cambridge.

Liquidity, a high-level language for Tezos. Where TYPE is a type and BODY is the code of the contract, using the two arguments. Variable cannot be used, it is special form to declare the return type of the contract. Is the argument provided by the caller, and. Is the initial state of the contract. A contract always returns a pair. Is the return value to the caller, and.

Lin Chen a reçu la médaille de bronze du CNRS.

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles. OCaml, look up package docs. Gives you access to multiple versions of hundreds of packages. And find OCaml around the web. Learn OCaml in your browser with TryOCaml. Chat live with OCaml experts! September 8, 2017.

OCamlPro is the leading company in OCaml development. OCaml Binary Distribution for Windows. A smart-contract language for Tezos. Open-Source Tools and Libraries for OCaml. Online Exercices to Teach OCaml. Online Scilab Toplevel for Beginners. Online OCaml Toplevel for Beginners.