What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsEducation
Parametric Polymorphism and models of storage
In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphism and abstract models of storage. The term parametric polymorphism was introduced in by Strachey who disting...
About This Episode
Parametric Polymorphism and models of storage is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. In this presentation, Uday brings together two strands of Christopher Strachey’s thought: parametric polymorphi...
Podcast
This episode belongs to Strachey 100: an Oxford Computing Pioneer.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jun 26, 2017, 40:29 long, audio available.
Related Episodes
Continue listening to more episodes from Strachey 100: an Oxford Computing Pioneer.
Probabilistic Programming
Jun 26, 2017 - 34:14
Christopher Strachey, First-Class Citizen
Jun 26, 2017 - 31:03
A modelling language approach to defining mathematical structures via semantics
Jun 26, 2017 - 33:10
Greetings to the participants at “Strachey 100”
Jun 26, 2017 - 23:59
Strachey: school master, language designer, colleague
Jun 26, 2017 - 44:11
Semantic relationships: reducing the separation between practice and theory
Jun 26, 2017 - 35:40
SIS, a semantics implementation system
Jun 26, 2017 - 29:30