109
click to vote
JCS
2008
15 years 3 months ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
129
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...