...
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
Rewriting Systems for Functional Programs; Termination; Static Dependency Pair Method;
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:具有产品,代数数据和ML多态类型的功能程序的重写系统中的静态依赖对方法
机译:依赖性对终止依赖类型理论模数重写
机译:静态类型的面向对象编程语言的模块化数据流分析。
机译:校正:使用成对代数的通用声明性动态编程
机译:具有产品,代数数据和ML-多态性类型的功能程序重写系统的静态依赖性对方法
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具