TY  - RPRT
TI  - Imperative Functional Programs that Explain their Work
AU  - Wilmer Ricciotti
AU  - Jan Stolarek
AU  - Roly Perera
AU  - James Cheney
PY  - 2017
DO  - 10.1145/3110258
UR  - https://arxiv.org/abs/1705.07678
ID  - 1705.07678
ER  -