A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015.
Bidirectional Computation is Effectful
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.
Series:
People:
Oxford Unit:
More in this Series...
This series is host to episodes created by the Department of Computer Science, University of Oxford, one of the longest-established Computer Science departments in the country.
The series reflects this department's world-class research and teaching by providing talks that encompass topics such as computational biology, quantum computing, computational linguistics, information systems, software verification, and software engineering.