Strachey and the development of CPL

Strachey 100: an Oxford Computing Pioneer by Oxford University

Jun 26, 201734:50Education

Chrisopher Strachey was the most significant contributor to the design and implementation of the programming language CPL. At the time there was little understanding of the complexities of computer language design and ho...

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