Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
| Episode | Date |
|---|---|
|
What are types for?
|
Jun 26, 2017 |
|
Parametric Polymorphism and models of storage
|
Jun 26, 2017 |
|
Probabilistic Programming
|
Jun 26, 2017 |
|
Christopher Strachey, First-Class Citizen
|
Jun 26, 2017 |
|
A modelling language approach to defining mathematical structures via semantics
|
Jun 26, 2017 |
|
Greetings to the participants at “Strachey 100”
|
Jun 26, 2017 |
|
Strachey: school master, language designer, colleague
|
Jun 26, 2017 |
|
Semantic relationships: reducing the separation between practice and theory
|
Jun 26, 2017 |
|
SIS, a semantics implementation system
|
Jun 26, 2017 |
|
Strachey and the development of CPL
|
Jun 26, 2017 |
|
Strachey and the Oxford Programming Research Group
|
Jun 26, 2017 |
|
Strachey: the Bloomsbury Years
|
Jun 26, 2017 |