Microsoft Research and MSR-INRIA;
Program equivalence; full abstraction; refinement types;
机译:完全抽象到JavaScript的编译
机译:安全编译的正式方法:完全抽象编译和相关工作的概述
机译:JavaScript AOT编译
机译:完全抽象的javascript汇编
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:摘要:乳头-动脉复合体重建:取得自然结果的技术汇编
机译:完全抽象编译到Javascript
机译:美国国家航空航天局自动化会合和捕获审查。摘要汇编(仅摘要)