@inproceedings{atkey-2014-from, series={POPL ’14}, title={From parametricity to conservation laws, via Noether’s theorem}, url={http://dx.doi.org/10.1145/2535838.2535867}, DOI={10.1145/2535838.2535867}, booktitle={Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, publisher={ACM}, author={Atkey, Robert}, year={2014}, month=Jan, pages={491–502}, collection={POPL ’14} }