5 min

Bidirectional Computation is Effectful Computer Science

    • Education

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. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

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. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

5 min

Top Podcasts In Education

The Mel Robbins Podcast
Mel Robbins
The Subtle Art of Not Giving a F*ck Podcast
Mark Manson
The Jordan B. Peterson Podcast
Dr. Jordan B. Peterson
Parenthèse
Studio SF
TED Talks Daily
TED
The Livy Method Podcast
Gina Livy

More by Oxford University

Philosophy for Beginners
Oxford University
Approaching Shakespeare
Oxford University
The Secrets of Mathematics
Oxford University
Anthropology
Oxford University
Theoretical Physics - From Outer Space to Plasma
Oxford University
Kant's Critique of Pure Reason
Oxford University