Handling Algebraic Effects
From MaRDI portal
Publication:2871476
DOI10.2168/LMCS-9(4:23)2013zbMath1314.68191arXiv1312.1399MaRDI QIDQ2871476
Gordon D. Plotkin, Matija Pretnar
Publication date: 8 January 2014
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1312.1399
68Q65: Abstract data types; algebraic specification
18C50: Categorical semantics of formal languages
Uses Software