## Tom Gundersen, Willem Heijltjes, Michel Parigot

*Atomic λ Calculus: A Typed λ-Calculus with Explicit Sharing*

LICS, 2013.

@inproceedings{LICS-2013-GundersenHP, acmid = "2591373", author = "Tom Gundersen and Willem Heijltjes and Michel Parigot", booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2013.37", isbn = "978-1-4799-0413-6", pages = "311--320", publisher = "{IEEE Computer Society}", title = "{Atomic λ Calculus: A Typed λ-Calculus with Explicit Sharing}", year = 2013, }