20 Jul 2026
1h 24m
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy
Ryan Peterman
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.