What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsDuring Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their denotational semantics. It involved partial evaluation of lambda-notation, impl...
SIS, a semantics implementation system is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing p...
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, 29:30 long, audio available.
Continue listening to more episodes from Strachey 100: an Oxford Computing Pioneer.
Jun 26, 2017 - 31:40
Jun 26, 2017 - 40:29
Jun 26, 2017 - 34:14
Jun 26, 2017 - 31:03
Jun 26, 2017 - 33:10
Jun 26, 2017 - 23:59
Jun 26, 2017 - 44:11
Jun 26, 2017 - 35:40
During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their denotational semantics. It involved partial evaluation of lambda-notation, implemented using Wadsworth's call-by-need algorithm. He continued the development of the system as a postdoc at Oxford, and subsequently at Aarhus, Denmark. The system was called SIS: Semantics Implementation System. In this talk, Peter recalls Strachey's influence on his research and on the development of SIS, starting from Strachey’s summer school course on symbolic computation at the PRG in 1969.
You can listen to SIS, a semantics implementation system online on Radio and Podcast. Open the player on this page to stream the available audio.
SIS, a semantics implementation system is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University.
This episode is 29:30 long.
This episode was published on Jun 26, 2017.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Strachey 100: an Oxford Computing Pioneer when more episodes are available from the podcast feed.