5 min listen
Strachey Lecture: Bidirectional Computation is Effectful
Strachey Lecture: Bidirectional Computation is Effectful
ratings:
Length:
5 minutes
Released:
Nov 17, 2015
Format:
Podcast episode
Description
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.
Released:
Nov 17, 2015
Format:
Podcast episode
Titles in the series (25)
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. by Strachey Lectures