TY  - RPRT
TI  - Space Improvements and Equivalences in a Functional Core Language
AU  - Manfred Schmidt-Schauß
AU  - Nils Dallmeyer
PY  - 2018
DO  - 10.4204/eptcs.265.8
UR  - https://arxiv.org/abs/1802.06498
ID  - 1802.06498
ER  -