No value restriction is needed for algebraic effects and handlers

From MaRDI portal
Publication:5372003

DOI10.1017/S0956796816000320zbMath1418.68034arXiv1605.06938MaRDI QIDQ5372003

Ohad Kammar, Matija Pretnar

Publication date: 23 October 2017

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1605.06938




Related Items


Uses Software


Cites Work


This page was built for publication: No value restriction is needed for algebraic effects and handlers