55 min listen
Bidirectional Computation is Effectful
FromComputer Science
ratings:
Length:
5 minutes
Released:
Nov 17, 2015
Format:
Podcast episode
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.
Released:
Nov 17, 2015
Format:
Podcast episode
Titles in the series (24)
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. by Computer Science