Greetings to the participants at “Strachey 100”

Strachey 100: an Oxford Computing Pioneer by Oxford University

Jun 26, 201723:59Education

The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn 1969, when he created a mathematical model for the foundation of the method. In...

Related Episodes

Continue listening to more episodes from Strachey 100: an Oxford Computing Pioneer.

What are types for?

Jun 26, 2017 - 31:40

Types in programming languages are commonly thought of as a way of preventing certain bad things from hap...

Parametric Polymorphism and models of storage

Jun 26, 2017 - 40:29

In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric poly...

Probabilistic Programming

Jun 26, 2017 - 34:14

Hongseok begins by talking about a program of Strachey’s that wrote “love letters” using the Manchester U...

Christopher Strachey, First-Class Citizen

Jun 26, 2017 - 31:03

Philip reviews Christopher Strachey’s influence on modern-day functional programming languages.

A modelling language approach to defining mathematical structures via semantics

Jun 26, 2017 - 33:10

In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative mod...

Strachey: school master, language designer, colleague

Jun 26, 2017 - 44:11

In this panel discussion, three people who knew Christopher Strachey in different contexts talk about the...

Semantic relationships: reducing the separation between practice and theory

Jun 26, 2017 - 35:40

Christopher Strachey believed that the gap between theory and practice was impeding the development of co...

SIS, a semantics implementation system

Jun 26, 2017 - 29:30

During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system fo...