TY  - RPRT
TI  - A monadic solution to the Cartwright-Felleisen-Wadler conjecture
AU  - Ohad Kammar
AU  - Dylan McDermott
PY  - 2017
UR  - https://arxiv.org/abs/1707.06685
ID  - 1707.06685
ER  -