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

Thank you for visiting! Please consider filling out our questionnaire. This will help us improve our service providing free educational media recorded from the University of Oxford. Many thanks!

Click here to access the survey (3 minutes to complete).

Bidirectional Computation is Effectful

Loading Video...
Duration: 0:05:16 | Added: 17 Nov 2015
Loading Video...
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: