Type Soundness and Race Freedom for Mezzo - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thibaut Balabonski, François Pottier, Jonathan Protzenko. Type Soundness and Race Freedom for Mezzo. In Michael Codish, Eijiro Sumii, editors, Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Volume 8475 of Lecture Notes in Computer Science, pages 253-269, Springer, 2014. [doi]

This author has not been identified. Look up 'Thibaut Balabonski' in GoogleThis author has not been identified. Look up 'François Pottier' in GoogleThis author has not been identified. Look up 'Jonathan Protzenko' in Google

runs on WebDSL