机译:Agda中的编程代数:关系程序派生的依赖类型
Institute of Information Science, Academia Sinica, Taiwan;
Department of Computer Science and Information Engineering, National Taiwan University, Taiwan;
Department of Computer Science and Engineering, Chalmers University of Technology, and University of Gothenburg, Sweden;
机译:具有代数效应和相关类型的编程和推理
机译:使用Microsoft Access数据库进行关系代数编程
机译:为关系代数查询指定的程序自动生成测试用例
机译:(相当)无痛依赖类型编程的情况:Agda中经过完全认证的合并排序
机译:将计算机代数系统DERIVE集成到线性编程指令中。
机译:实施关系代数限制位置(RACL)算法结果对实验室地点测试量平台分布和空间要求的分配的程序影响
机译:立方体agda:具有单价和更高的归纳类型的依赖性键入的编程语言