Creator Of Ocaml Functional Programming person
2 mentions · across 1 show
https://developing.dev/p/creator-of-ocaml-functional-programming
Relationship map
podcastsolid = outgoing · dashed = incoming
Connections 2
mentioned 1
-
0.45
evidence rules-v5
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://developing.dev/p/creator-of-ocaml-functional-programming
references 1
-
0.38
evidence rules-v5
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://developing.dev/p/creator-of-ocaml-functional-programming
Heard in
- The Peterman Pod1 episode
Mentioned in episodes
-
2026-07-20 · The Peterman Pod · via mentioned · 0.45
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://developing.dev/p/creator-of-ocaml-functional-programming
-
2026-07-20 · The Peterman Pod · via references · 0.38
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://developing.dev/p/creator-of-ocaml-functional-programming
All extracted evidence for this entity (2)
description:link Creator of OCaml: Functional Programming, Formal Verificatio
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://developing.dev/p/creator-of-ocaml-functional-programming
description:link Creator of OCaml: Functional Programming, Formal Verificatio
Link in episode "Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy": https://developing.dev/p/creator-of-ocaml-functional-programming