
What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & Podcasts
Christopher Strachey believed that the gap between theory and practice was impeding the development of computing science. In Robert’s talk, he considers how the work he did with Strachey on the essay that ultimately beca...
Semantic relationships: reducing the separation between practice and theory is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. Christopher Strachey believed that the gap between theory and practice was impedi...
This episode belongs to Strachey 100: an Oxford Computing Pioneer.
Use the player on this page to stream the episode online.
Published Jun 26, 2017, 35:40 long, audio available.