A secure compiler for session abstractions

14 years 13 days 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)