Strachey Lecture: Bidirectional Computation is Effectful
Strachey Lectures · Oxford University
November 17, 20155m 16s
Audio is streamed directly from the publisher (media.podcasts.ox.ac.uk) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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.