Functional Programming, Formal Verification, Programming Languages | Xavier Leroy concept

2 mentions · across 1 show

also known as: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy · functional programming formal verification programming languages

Relationship map

podcastsolid = outgoing · dashed = incoming

Connections 1

all 1 mentioned 1

mentioned 1

← mentioned The Peterman Pod podcast

0.42

evidence rules-v5
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xa… · 2026-07-20

Heard in

The Peterman Pod1 episode

Mentioned in episodes

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy

2026-07-20 · The Peterman Pod · via mentioned · 0.42

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy

All extracted evidence for this entity (1)

title:topic Creator of OCaml: Functional Programming, Formal Verificatio

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy