The talk was part of a summer school at EPFL: http://vjovanov.github.io/dsldi-summer-school/ http://vjovanov.github.io/dsldi-summer-school/ Afaik, everything w

The talk was part of a summer school at EPFL: http://vjovanov.github.io/dsldi-summer-school/ http://vjovanov.github.io/dsldi-summer-school/ Afaik, everything was videotaped. I'm sure the videos will appear soon.