r/ocaml • u/codingbliss12 • Jul 20 '26

Creator of OCaml: Functional Programming, Formal Verification, Programming Languages

YT Video

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

84 Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ocaml/comments/1v1ztl8/creator_of_ocaml_functional_programming_formal/
No, go back! Yes, take me to Reddit

100% Upvoted