Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Keyword: program Clear all

Three steps for OCaml to crest the AI humps

The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have been co-located with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, ICFP 2017 in Oxford, ICFP 2018 in St Louis, ICFP 2019 in Berlin, ICFP 2020 virtually, ICFP 2021 virtually, ICFP 2022 in Ljubljana, ICFP 2023 in Seattle, and ICFP 2024 in Milan. OCaml 2025 will be held on October 17th, 2025, in Singapore. It will be a hybrid even ...

committee icfp merlin onward oopsla organizing program sas splash steering

01 Oct 2025

Anil Madhavapeddy's Blog

Read Article

Compiler optimization with Greta Yorsh

compiler fdo greta hardware optimization program ron superoptimization think verification

30 Sep 2020

Signals and Threads

Read Article

Fuzzing OCamlFormat with AFL and Crowbar

AFL (and fuzzing in general) is often used to find bugs in low-level code like parsers, but it also works very well to find bugs in high…

afl ast crashes crowbar formatting fuzzing ocamlformat ppx_import program programs

03 Aug 2020

Tarides

Read Article

Fuzzing OCamlFormat with AFL and Crowbar

afl ast crashes crowbar formatting fuzzing ocamlformat ppx_import program programs

03 Aug 2020

Etienne Millon

Read Article

[ARTICLE]

OCaml Workshop 2018

Videos are available online. The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Previous editions have been colocated with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, and ICFP 2017 in Oxford, following the OCaml Meetings in Paris in 2010 and 2011. OCaml 2018 will be held on September 27th, 2018 in St. Louis, Missouri, USA, colocated with ICFP 2018.

GADT chair committee frisco icfp kennedy organizing program submission workshop

27 Sep 2018

Tarides

Read Article

Implementing Strongly-Specified Functions with the Program Framework

Program is the heir of the refine tactic. It gives you a convenient way to embed proofs within functional programs that are supposed to fade away during code extraction.

forall nat nth obligation program smramcregister type class vcons vector vnil

01 Jan 2017

Thomas Letan’s Blog

Read Article

Goaljobs, part 1

A little more than a year ago I released whenjobs which was an attempt to create a practical language for automating complex “business rules”. The kind of thing I’m talking about …

c_file goaljobs goals o_file program recipe shell target utils whenjobs

19 Sep 2013

Richard Jones

Read Article

Coq Workshop 2010

coq edinburgh held july program workshop

27 May 2010

Coq

Read Article

[ARTICLE]

An Objective Caml program wins first prize at the ICFP 2002 programming contest.

caml contest icfp objective ogi oiwa prize program programming taplas