Algebraic effects and quantum programming languages
Sam Staton ( Radboud University Nijmegen )
- 10:00 6th November 2014 ( week 4, Michaelmas Term 2014 )Tony Hoare Room, Robert Hooke Building
I will present my work on "algebraic effects": an analysis of equational reasoning principles for different kinds of computation. I will lead with the example of quantum computation, demonstrating how to use programming language theory to derive a model of quantum computation.