@misc{indiciae6dc9e2898073,
  title = {Stepping Lazy Programs},
  author = {Stephen Chang and John Clements and Eli Barzilay and Matthias Felleisen},
  year = {2011},
  url = {https://arxiv.org/abs/1108.4706},
  note = {Source identifier: 1108.4706}
}