Skip to content
Sign in
Artwork for Software Engineering Daily
Software Engineering Daily · Nov 6, 2015 · 56 min

Caml with Gérard Huet

Caml is a functional programming language that is a dialect of the ML programming language family, developed at INRIA and formerly at ENS. Gérard Huet is a senior researcher at INRIA, the French Institute for Research and Automation. He helped develop the Caml programming language in the 80s, and has a variety of other accomplishments in the world of computer science, including developing the Coq Proof Assistant System. Hired.com is the job marketplace for software engineers. Go to hired.com/softwareengineeringdaily to get a $600 bonus upon landing a job through Hired. Digital Ocean is the simplest cloud hosting provider. Use promo code SEDAILY for $10 in free credit.

0:00-56:01
Play in

transcript

No transcript — this publisher did not publish one.

show notes

Caml is a functional programming language that is a dialect of the ML programming language family, developed at INRIA and formerly at ENS.

Gérard Huet is a senior researcher at INRIA, the French Institute for Research and Automation. He helped develop the Caml programming language in the 80s, and has a variety of other accomplishments in the world of computer science, including developing the Coq Proof Assistant System.

Hired.com is the job marketplace for software engineers. Go to hired.com/softwareengineeringdaily to get a $600 bonus upon landing a job through Hired.

Digital Ocean is the simplest cloud hosting provider. Use promo code SEDAILY for $10 in free credit.

links2

more episodes

All episodes