A Proof Assistant Prototype Based on Algebraic Effects and Handlers Date March 21, 2013 Affiliation University of Ljubljana, Slovenia; Member, School of Mathematics Speakers Andrej Bauer School of Mathematics Univalent
