A Proof Assistant Prototype Based on Algebraic Effects and Handlers

Andrej Bauer
University of Ljubljana, Slovenia; Member, School of Mathematics
March 21, 2013