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: empty Clear all

Topological Sort of Packages

Given a list of packages and their dependencies, what order should those packages be installed in?

base-threads base-unix dune empty ocaml-config ocaml-variants packagemap packageset pkgs topological_sort

25 Mar 2025

Marc Elvers

Read Article

Implementing sets with functions alone

belongs complement empty insert is_in myset set set_of_one sets union

12 Apr 2018

Daniil Baturin

Read Article

[ARTICLE]

Balanced binary search trees

The type of "association tables" (binary search trees). type (α, β) t = | Empty | Node of (α , β) t * α * β * (α, β) t * int There are tw...

balance empty height iter node remove_rec search sub-tree tbl tree

27 Aug 2016

Shayne Fletcher

Read Article

[ARTICLE]

Implementing Strongly-Specified Functions with the refine Tactic

We see how to implement strongly-specified list manipulation functions in Coq. Strong specifications are used to ensure some properties on functions' arguments and return value. It makes Coq type system very expressive.

empty empty_b empty_dec eq_refl equ pop proj1_sig refine rst tactic

11 Jan 2015

Thomas Letan’s Blog

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?