机译:通过评估进行无类型归一化的牙本质方面
DIKU, Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen, Denmark;
normalization by evaluation; untyped λ-calculus; denotational semantics; functional programming; boehm trees; computational adequacy;
机译:正式社区,组合Bhm树和未类型化归一化评估
机译:正式社区,组合Bhm树和未类型化归一化评估
机译:通过评估进行无类型归一化的操作方面
机译:通过评估对无类型归一化的指称性解释
机译:面向语义的编译器的编译时评估和代码生成(代名词)。
机译:传染病药物遗传学方法的经济评估:当前方法的综述和影响其质量的关键方面的评估
机译:通过评估进行无类型归一化的指称性方面