@article{DallmeyerSchmidtSchauss2017,
  author    = {Nils Dallmeyer and Manfred Schmidt-Schauß},
  title     = {An environment for analyzing space optimizations in call-by-need functional languages},
  journal   = {Electronic proceedings in theoretical computer science},
  volume    = {235},
  pages     = {78 -- 92},
  doi       = {10.4204/EPTCS.235.6},
  year      = {2017},
}