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