Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Strachey Lecture: Bidirectional Computation is Effectful

Error loading media: File could not be played
Strachey Lecture: Bidirectional Computation is Effectful
Share Video
Share Video
00:00
00:00
 
Duration: 0:05:16 | Added: 17 Nov 2015
Error loading media: File could not be played
Strachey Lecture: Bidirectional Computation is Effectful
Share Video
Share Video
00:00
00:00
 
Duration: 0:05:16 | Added: 17 Nov 2015
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.

People:
Copy and paste this HTML snippet to embed the audio or video on your site:
Copy and paste this HTML snippet to embed the audio or video on your site: