TY  - RPRT
TI  - An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
AU  - Nils Dallmeyer
AU  - Manfred Schmidt-Schauss
PY  - 2017
DO  - 10.4204/eptcs.235.6
UR  - https://arxiv.org/abs/1701.00640
ID  - 1701.00640
ER  -