机译:按值调用:按值分解和按名称分解
University of Birmingham, UK;
call-by-push-value; computational effect; monad; lambda-calculus; call-by-value; call-by-name;
机译:按值调用,按名称调用和代数λ微积分的矢量行为
机译:名称调用和值调用
机译:归纳和共归类型的按值调用和按名称调用对偶计算
机译:通过线性逻辑进行呼叫名称和逐个值计算的分解
机译:使用垃圾分解梯度来评估分解对流中微生物响应的影响
机译:土壤细菌多样性与玉米凋落物分解的早期阶段的分解率正相关
机译:按值调用:按值分解和按名称分解