ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Strachey Lecture: Bidirectional Computation is Effectful"
Episode Synopsis
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.
More episodes of the podcast Strachey Lectures
Advances in Garbled Circuits
27/10/2025
Will Computers prove theorems?
15/05/2025
Strachey Lecture: The Computer in the Sky
16/05/2024
Strachey Lecture: Symmetry and Similarity
16/02/2023
In God we trust