Portland State University;
Portland State University;
catamorphism; histomorphism; higher-order abstract syntax; parametric polymorphism; parametricity; recursion schemes; recursion combinators; termination; totality;
机译:Mendler样式递归组合器的层次结构:驯服带有负出现的归纳数据类型
机译:递归运算符的重复应用于负订购可集的KDV方程的新层次结构
机译:行动中的递归:对电机序列新分层级别的生成的FMRI研究
机译:Mendler风格递归组合器的层次结构
机译:分层风格建模:用于以风格为中心的3D模型生成框架
机译:递归行动:一项功能磁共振成像研究研究运动序列中新的分层水平的产生
机译:Nax语言:基于mendler风格的递归方案和术语索引类型统一语言中的函数式编程和逻辑推理