Rice University.;
机译:用于标准ML的基于类型的编译器
机译:Nonio —适用于现代编译器的模块化自动编译器阶段选择和排序专业化框架
机译:JACCIE:基于Java的编译器,用于生成,可视化和调试编译器组件
机译:基于类型的XML转换专业化
机译:用于伸缩语言的基于类型的原型编译器。
机译:大型天气观测望远镜的望远镜安装组件子系统的3D测量仿真和相对指向误差验证
机译:用于伸缩语言的基于类型的原型编译器
机译:为下一代太空望远镜的初步设计编制的镜面材料特性(30至294开尔文)