Mentioned in Podcasts

Person

Every book Xavier Leroy recommended on podcasts

Key facts

  • Xavier Leroy has recommended or discussed 4 books on podcasts, as of July 20, 2026.
  • Xavier Leroy has talked about books on 1 podcast, as of July 20, 2026.
  • Those books came up in 1 episode, as of July 20, 2026.
  • The 3 books Xavier Leroy has mentioned in the most episodes, as of July 20, 2026: How to Design Programs, Programming Pearls and Instructor's Manual t/a Structure and Interpretation of Computer Programs, second edition.
  • The latest episode with a book mention from Xavier Leroy aired on July 20, 2026.

Updated

Guest on The Peterman Pod · 4 books · 1 episode across 1 podcast

Xavier Leroy appeared on The Peterman Pod to discuss functional programming, formal verification, and his work as the creator of OCaml. When asked for top book recommendations for software engineers, Leroy recommended Jon Bentley's Programming Pearls, explaining that he read it as a PhD student and appreciating how it illustrates the work habits and thought processes of talented programmers. Leroy also recommended How to Design Programs by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. He described it as an ambitious and opinionated book originating from the Scheme community that teaches functional programming and the principles of designing programs. While discussing the ideas behind it, Leroy also mentioned the famous MIT course Structure and Interpretation of Computer Programs by Harold Abelson and Gerald Jay Sussman, along with its associated materials and modern iterations. Through these recommendations and discussions, Leroy provided listeners with a look into foundational computer science literature that emphasizes rigorous thinking, problem-solving, and the core methodologies behind advanced software development.

Books recommended by Xavier Leroy

Who said what is determined automatically. In hand-checked samples, at least 6% of mentions were credited to the wrong speaker — sometimes an interviewer’s line recorded as the guest’s, sometimes the reverse. Every entry below quotes the words and links to the episode, so you can check it.

We earn a commission if you buy through the store links below, at no cost to you.

  1. How to Design Programs

    Matthias Felleisen · Recommended · 1 episode

    How to Design Programs by Matthias Felleisen, Robert B.

    Recommended
    “The second one is a little more controversial, I guess. So, in the How to Design Program, which is a fairly ambitious title as well. And this comes from the Scheme community, okay, Abelson and Findler, Flatt, and Krishnamurthi.”
    The Peterman Pod Creator of OCaml: Functional Programming, Formal Verification, Program… 2026-07-20
    Where to get it
    AmazonListen on Audible

  2. Programming Pearls

    Jon Bentley · Recommended · 1 episode

    Programming Pearls by Jon Bentley is a classic computer science text that uses practical problems and elegant code solutions to illustrate fundamental programming concepts.

    Recommended
    “Well this this is an old one, the Programming Pearls by Jon I think I read it when I was a PhD student, but I think it's it's nice as showing how very talented programmers work, how they think about their programs.”
    The Peterman Pod Creator of OCaml: Functional Programming, Formal Verification, Program… 2026-07-20 Listen at 1:18:20
    Where to get it
    AmazonListen on Audible

  3. Instructor's Manual t/a Structure and Interpretation of Computer Programs, second edition

    Julie Sussman · Discussed · 1 episode

    Discussed
    “And so, so there was the the MIT Course Structure and Interpretation of Computer Programs, which was quite famous, and this is kind of a more modern twist on on on similar ideas.”
    The Peterman Pod Creator of OCaml: Functional Programming, Formal Verification, Program… 2026-07-20 Listen at 1:20:03
    Where to get it
    AmazonListen on Audible

  4. Structure and Interpretation of Computer Programs

    Harold Abelson; Gerald Jay Sussman; Martin Henz; Tobias Wrigstad; Julie Sussman · Discussed · 1 episode

    Discussed
    “And so, so there was the the MIT Course Structure and Interpretation of Computer Programs, which was quite famous, and this is kind of a more modern twist on on on similar ideas.”
    The Peterman Pod Creator of OCaml: Functional Programming, Formal Verification, Program… 2026-07-20 Listen at 1:20:03
    Where to get it
    AmazonListen on Audible

Appearances

EpisodePodcastDateBooks
Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier LeroyThe Peterman Pod2026-07-204