@inproceedings{munchmaccagnoni-2015-polarised, title={Polarised Intermediate Representation of Lambda Calculus with Sums}, url={http://dx.doi.org/10.1109/lics.2015.22}, DOI={10.1109/lics.2015.22}, booktitle={2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={IEEE}, author={Munch-Maccagnoni, Guillaume and Scherer, Gabriel}, year={2015}, month=July, pages={127–140} }