...
机译:MetaKlaim:一种用于全球计算的类型安全的多阶段语言
Dipartimento di Informatica, Universita di Pisa, Italy;
Dipartimento di Infovmatica e Scienze dell'Infonnazione, Universita di Geneva, Italy;
Dipartimento di Sistemi e Informatka, Universita di Firenze, Italy;
机译:Terra:用于高性能计算的多阶段语言
机译:耐甲氧西林金黄色葡萄球菌(MRSA)的分子流行病学:区域性思考,但使用全球统一的打字语言
机译:类型安全语言的故障安全代码运动
机译:PostKlim:全球蔚蓝海岸的后期编程
机译:一种将类型安全的静态上下文鸭子键入添加到面向对象的编程语言的方法。
机译:统一医疗语言系统的语义表示可以通过类型和严重程度改善患者安全事件报告的自动识别吗?
机译:MetaKlaim:一种用于全球计算的类型安全的多阶段语言