Episode Synopsis "Strachey and the Oxford Programming Research Group "
Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming Research Group (PRG). The talk covers the foundation of the PRG and the research performed at the (PRG), with an emphasis on the equal importance of theoretical and practical work.
Listen "Strachey and the Oxford Programming Research Group "
More episodes of the podcast Strachey 100: an Oxford Computing Pioneer
- Strachey: the Bloomsbury Years
- Strachey and the Oxford Programming Research Group
- Strachey and the development of CPL
- SIS, a semantics implementation system
- Semantic relationships: reducing the separation between practice and theory
- Strachey: school master, language designer, colleague
- Greetings to the participants at “Strachey 100”
- A modelling language approach to defining mathematical structures via semantics
- Christopher Strachey, First-Class Citizen
- Probabilistic Programming
- Parametric Polymorphism and models of storage
- What are types for?