Matija Pretnar. Logic and handling of algebraic effects. PhD thesis, University of Edinburgh, UK, 2010. [doi]
@phdthesis{ethos-2996, title = {Logic and handling of algebraic effects}, author = {Matija Pretnar}, year = {2010}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.562977}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-2996}, cites = {0}, citedby = {0}, school = {University of Edinburgh, UK}, }