Episode Synopsis "Probabilistic Programming "

Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester University computer. He then uses this as a lead in for discussing probabilistic methods of generating algorithms and programs.

Listen "Probabilistic Programming "

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?