## Guillaume Munch-Maccagnoni, Gabriel Scherer

*Polarised Intermediate Representation of λ Calculus with Sums*

LICS, 2015.

@inproceedings{LICS-2015-Munch-Maccagnoni, author = "Guillaume Munch-Maccagnoni and Gabriel Scherer", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.22", isbn = "978-1-4799-8875-4", pages = "127--140", publisher = "{IEEE}", title = "{Polarised Intermediate Representation of λ Calculus with Sums}", year = 2015, }