KULeuven;
KULeuven;
agda; instance arguments; type classes; ad hoc poly-morphism;
机译:类型类的优点:Agda中的实例参数
机译:类和实例的案例 - 对代表实例的响应:重新登记概念模拟语法的情况
机译:使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
机译:在类型类的光明面上:AGDA中的实例参数
机译:类型类和实例链:一种关系方法。
机译:预测路径本体类的实例以进行路径集成
机译:类型类的优点:Agda中的实例参数
机译:检测呈现变结构的形状类实例