National University of Singapore;
National University of Singapore;
National University of Singapore;
exceptions; optimization; translation;
机译:直觉λ演算
机译:从解析到后续演算的翻译的复杂性
机译:通过将不确定性转换为Klop的扩展Lambda微积分来证明强归一化
机译:核心微积分的翻译与优化
机译:编译时和运行时优化,用于增强多核和多核系统上的局部性和并行性。
机译:在植物中翻译规则和例外
机译:核心微积分的翻译和优化,但有例外