No. Title Author Year
1 Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172) Chandrasekaran, Sivaramakrishnan Krishnamoorthy et al. 2018
2 Design and Implementation of the Andromeda Proof Assistant Bauer, Andrej et al. 2018
3 From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112) Bauer, Andrej et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI