Record · corpus.blog/posts/01a0fee3-3adf-71e6-87fc-0ffe04e759dd
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
developing.dev · 20 July 2026 · 49 min read
A post on developing.dev, published 20 July 2026, has not been cited by any blog yet (corpus.blog, measured 9 October 2026).
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 0 | 0 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| Anchor phrases | 0 |
|---|---|
| External links | 184 |
| Words captured | 11,257 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
en.wikipedia.org
en.wikipedia.org
https://open.spotify.com/episode/7cdatlBEkAjx4XplVLjFxN?si=T0dXjBf2TkyulzoKvN9Z7Q Who cites this page
open.spotify.com
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
Elsewhere on developing.dev (15)
developing.dev
developing.dev
developing.dev
developing.dev
developing.dev
Similar posts
12 Sept 2026
OCaml Quietly Running the World’s Financial Infrastructure
javacodegeeks.com
7 Sept 2026
19 May 2026
What is Functional Programming? A Look at the Programming Style from an OCaml Perspective
tarides.com
12 May 2026
What OCaml Taught Me About Engineering
cwoebker.com
31 Jul 2026
Why Rocq is better than Lean for program verification
joomy.korkutblech.com
28 Jul 2026
Introducing Frml
The Third Bit
5 Oct 2026
Exploring SML
howdytx.technology
29 Aug 2026
Something wrong here? Report a problem