@inproceedings{kammar-2012-algebraic, series={POPL ’12}, title={Algebraic foundations for effect-dependent optimisations}, url={http://dx.doi.org/10.1145/2103656.2103698}, DOI={10.1145/2103656.2103698}, booktitle={Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, publisher={ACM}, author={Kammar, Ohad and Plotkin, Gordon D.}, year={2012}, month=Jan, pages={349–360}, collection={POPL ’12} }