Search

Home > Computer Science > Bidirectional Computation is Effectful
Podcast: Computer Science
Episode:

Bidirectional Computation is Effectful
Category: Education
Duration: 00:05:16
Publish Date: 2015-11-17 08:29:46
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.
Total Play: 0

Users also like

80+ Episodes
LSE IQ podca .. 90+     10+
400+ Episodes
Computer und .. 300+     30+

Some more Podcasts by Oxford University

40+ Episodes
Latin Americ .. 200+     20+
20+ Episodes
Greek and Ro .. 80+     10+
4 Episodes
Ancient Egyp .. 60+     20+
10+ Episodes
"British" Wo .. 20+     10+
5 Episodes
Digital Sket .. 10+     1
20+ Episodes
Protecting t .. 20+     5
60+ Episodes
Surgical Gra .. 10+     2
90+ Episodes
Ethics, Law .. 10+     5