MetaKlaim:一种用于全局计算的类型安全的多阶段语言

吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽.MetaKlaim:一种用于全局计算的类型安全的多阶段语言.计算机科学中的数学结构, 14(3):367-395,2004 [美国国防部]

摘要

缺少摘要。