A Proof Assistant Prototype Based on Algebraic Effects and Handlers

Date

Affiliation

University of Ljubljana, Slovenia; Member, School of Mathematics

Speakers