Strachey and the Oxford Programming Research Group

Strachey 100: an Oxford Computing Pioneer by Oxford University

Jun 26, 201733:45Education

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...

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...

Greetings to the participants at “Strachey 100”

Jun 26, 2017 - 23:59

The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term...

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...