Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Bidirectional Computation is Effectful

Series
Computer Science
Embed
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.

More in this series

View Series
Computer Science
Captioned

Artificial Intelligence and the Future

In this talk Demis Hassabis discuss's what is happening at the cutting edge of AI research, its future impact on fields such as science and healthcare, and how developing AI may help us better understand the human mind.
Next
Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/
Transcript Available

Episode Information

Series
Computer Science
People
Jeremy Gibbons
Keywords
computer science
BX
view-update
lens
monad
model-driven development
Department: Department of Computer Science
Date Added: 17/11/2015
Duration:

Subscribe

Apple Podcast Video Apple Podcast Audio

Download

Download Transcript

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford