This talk was given by Willem Seynaeve, he says in the talk 'I will try to explain my paper (State Will do), where we try to simulate higher-level effects with lower-level effects, I will try to explain what we do in this paper with by a running example... a Prolog interpreter...'
This talk was given by Willem Seynaeve at Lambda Days.