Advances in Garbled Circuits
Oct 27, 2025 - 48:12
Radio and PodcastLive Radio & PodcastsEducation
Strachey Lecture: Bidirectional Computation is Effectful
A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. Bidirectional transformations inherently involve state effects. Modelling them that...
About This Episode
Strachey Lecture: Bidirectional Computation is Effectful is an episode from Computer Science by Oxford University. A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) i...
Podcast
This episode belongs to Computer Science.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Nov 17, 2015, 5:16 long, audio available.
Related Episodes
Continue listening to more episodes from Computer Science.
Will Computers prove theorems?
May 15, 2025 - 46:25
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
May 15, 2025 - 47:14
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Mar 11, 2025 - 64:18
From probabilistic bisimulation to representation learning via metrics
Dec 2, 2024 - 55:03
Strachey Lecture: The Computer in the Sky
May 16, 2024 - 62:09
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
Nov 13, 2023 - 54:48
Questions About This Episode
What is Strachey Lecture: Bidirectional Computation is Effectful about?
A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. Bidirectional transformations inherently involve state effects. Modelling them that way allows the incorporation of other effects too, such as I/O, non-determinism, and exceptions. We briefly outline the construction.
Where can I listen to Strachey Lecture: Bidirectional Computation is Effectful?
You can listen to Strachey Lecture: Bidirectional Computation is Effectful online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is Strachey Lecture: Bidirectional Computation is Effectful from?
Strachey Lecture: Bidirectional Computation is Effectful is an episode from Computer Science by Oxford University.
How long is this episode?
This episode is 5:16 long.
When was this episode published?
This episode was published on Nov 17, 2015.
Can I save Strachey Lecture: Bidirectional Computation is Effectful for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from Computer Science?
Yes. This page shows related episodes from Computer Science when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to Strachey Lecture: Bidirectional Computation is Effectful?
You can listen to Strachey Lecture: Bidirectional Computation is Effectful on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
Strachey Lecture: Bidirectional Computation is Effectful is from Computer Science by Oxford University.
What are the episode details?
Published Nov 17, 2015 and 5:16 long