Vasco Thudichum Vasconcelos
Session types for linear multithreaded functional programming
PPDP, 2009.
@inproceedings{PPDP-2009-Vasconcelos, author = "Vasco Thudichum Vasconcelos", booktitle = "{Proceedings of the 11th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1599410.1599411", isbn = "978-1-60558-568-0", pages = "1--6", publisher = "{ACM}", title = "{Session types for linear multithreaded functional programming}", year = 2009, }