Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited
PPDP, 2012.
@inproceedings{PPDP-2012-DardhaGS, author = "Ornela Dardha and Elena Giachino and Davide Sangiorgi", booktitle = "{Proceedings of the 14th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/2370776.2370794", isbn = "978-1-4503-1522-7", pages = "139--150", publisher = "{ACM}", title = "{Session types revisited}", year = 2012, }