Object-oriented language; Mixin; Class; Inheritance; Calculus; Operational semantics; Type system;
机译:MoMi:移动混合的微积分
机译:某些类别的分析函数与kober运算符在-clulus中绑定
机译:使用量子微积分法的一些类分析功能的BoHR半径问题
机译:高阶混合和类的核心演算
机译:提高微积分学生的成功:四个大学微积分课程的比较。
机译:一般运动最优性评分的临床意义:超出罗西分析的课堂
机译:类和混合的核心演算