A unified approach to fully lazy sharing

@inproceedings{Balabonski2012AUA,
  title={A unified approach to fully lazy sharing},
  author={Thibaut Balabonski},
  booktitle={POPL},
  year={2012}
}
We give an axiomatic presentation of sharing-via-labelling for weak lambda-calculi, that makes it possible to formally compare many different approaches to fully lazy sharing, and obtain two important results. We prove that the known implementations of full laziness are all equivalent in terms of the number of beta-reductions performed, although they behave differently regarding the duplication of terms. We establish a link between the optimality theories of weak lambda-calculi and first-order… CONTINUE READING