call-time choice; continuations; monads; side effects;
机译:纯函数式惰性非确定性编程
机译:具有不确定的惰性函数和内置谓词的函数一阶逻辑程序的证明过程
机译:纯函数惰性非确定性编程
机译:纯粹的功能懒惰非确定性编程
机译:具有减少语义的完全懒散的高阶纯函数编程语言。
机译:IRI-DICE假设:低剂量下电离辐射诱导的DSB可能对不确定性反应具有功能性作用
机译:纯函数懒惰非确定性规划
机译:并发环境中懒函数程序的代数规范与仿真