A secure compiler for session abstractions

13 years 11 months ago

Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni

Ricardo Corin, Pierre-Malo Deniélou, C&eacu

JCS 2008 | MSR-INRIA Joint Centre | Session Abstractions | Session Type |

claim paper

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JCS
Authors	Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

Comments (0)