Answered from Barbara Liskov (Turing Award): How the Liskov Substitution Principle Got Its Name · Ryan Peterman · 2026-10-28
Barbara Liskov says a course she developed at MIT with John Guttag taught students design, modularity and data types, and also how to write specifications and reason about correctness. Its emphasis on understanding what a module means first, with the implementation hidden inside, is why she could define subtypes by behavior when the Smalltalk community was focused on implementations.
Source: our own transcription of the episode. The full conversation is on Ryan Peterman (2026-10-28). Read the whole episode summary →