Recent Episodes
-
Strachey: the Bloomsbury Years
Jun 26, 2017 – 34:40 -
Strachey and the Oxford Programming Research Group
Jun 26, 2017 – 33:45 -
Strachey and the development of CPL
Jun 26, 2017 – 34:50 -
SIS, a semantics implementation system
Jun 26, 2017 – 29:30 -
Semantic relationships: reducing the separation between practice and theory
Jun 26, 2017 – 35:40 -
Strachey: school master, language designer, colleague
Jun 26, 2017 – 44:11 -
Greetings to the participants at “Strachey 100”
Jun 26, 2017 – 23:59 -
A modelling language approach to defining mathematical structures via semantics
Jun 26, 2017 – 33:10 -
Christopher Strachey, First-Class Citizen
Jun 26, 2017 – 31:03 -
Probabilistic Programming
Jun 26, 2017 – 34:14 -
Parametric Polymorphism and models of storage
Jun 26, 2017 – 40:29 -
What are types for?
Jun 26, 2017 – 31:40
Recent Reviews
Reviews loading...
Similar Podcasts
Disclaimer: The podcast and artwork on this page are property of the podcast owner, and not endorsed by UP.audio.