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.

Strachey Lecture: Bidirectional Computation is Effectful

This series covers the Strachey Lectures, a series of termly computer science lectures named after Christopher Strachey, the first Professor of Computation at the University of Oxford.



Hosted by the Department of Computer Science, University of Oxford, the Strachey Lectures began in 1995 and have included many distinguished speakers over the years. The Strachey Lectures are generously supported by OxFORD Asset Management.

Education

This series covers the Strachey Lectures, a series of termly computer science lectures named after Christopher Strachey, the first Professor of Computation at the University of Oxford. Hosted by the Department of Computer Science, University of Oxford, the Strachey Lectures began in 1995 and have included many distinguished speakers over the years. The Strachey Lectures are generously supported by OxFORD Asset Management.

Share Strachey Lecture: Bidirectional Computation is Effectful

Sign up to save your podcasts

Strachey Lecture: Bidirectional Computation is Effectful

Strachey Lecture: Bidirectional Computation is Effectful

More shows like Strachey Lectures

Philosophy for Beginners

Approaching Shakespeare

General Philosophy

Anthropology

Aesthetics and Philosophy of Art lectures

Theoretical Physics - From Outer Space to Plasma

The Secrets of Mathematics

Critical Reasoning for Beginners

Kant's Critique of Pure Reason

Oxford Physics Public Lectures