Towards concurrent type theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luís Caires, Frank Pfenning, Bernardo Toninho. Towards concurrent type theory. In Benjamin C. Pierce, editor, Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012. pages 1-12, ACM, 2012. [doi]

This author has not been identified. Look up 'Luís Caires' in GoogleIdentified as Frank Pfenning This author has not been identified. Look up 'Bernardo Toninho' in Google

runs on WebDSL