Languages; Implicit parameters; Type classes; C++ concepts; Generic programming; Haskell; Scala;
机译:通用概率编程的Lambda微积分基础
机译:基于流的以服务为中心的演算:面向服务的编程的基础
机译:通用转换系统上的一阶μ演算及其在情境演算中的应用
机译:隐式演算:泛型编程的新基础
机译:在教定积分时,增加对微积分基础的关注。
机译:通用处方药的感知和仿制药折扣计划的利用
机译:隐式演算:泛型编程的新基础