Microsoft Research;
Microsoft Research;
Microsoft Research;
MSR-INRIA;
INRIA;
MIT;
security type systems; refinement types;
机译:基于值的类型的安全分布式编程
机译:基于值的类型的安全分布式编程
机译:用于安全分布式编程的仿射优化类型
机译:使用依赖依赖类型安全的分布式编程
机译:新兴的分布式环境中新型异质性的编程框架
机译:Tax蛋白在人类T细胞白血病病毒1型转化MT4细胞中的表达状态:由NIH AIDS研究和参考试剂计划分配的MT4细胞的召回。
机译:基于值的类型的安全分布式编程
机译:ariel分布式编程项目:移动程序的安全执行。