Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Affine Refinement Types for Secure Distributed Programming. ACM Transactions on Programming Languages and Systems, 37(4):11, 2015. [doi]
@article{BugliesiCEM15, title = {Affine Refinement Types for Secure Distributed Programming}, author = {Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei}, year = {2015}, doi = {10.1145/2743018}, url = {http://doi.acm.org/10.1145/2743018}, researchr = {https://researchr.org/publication/BugliesiCEM15}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {37}, number = {4}, pages = {11}, }