Universidad de la Republica;
Universidade do Minho Universidade Atlaantica;
Universidade do Minho;
circular programming; deforestation; monadic programming; program calculation; shortcut fusion;
机译:循环和高阶程序推导的快捷融合规则
机译:Monadic程序的快捷融合
机译:使用循环程序获取高阶语法功能珍珠
机译:循环和高阶Monadic计划推导的快捷融合规则
机译:让·皮亚杰(Jean Piaget)的建构主义和伊姆雷·拉卡托斯(Imre Lakatos)的科学研究计划方法论衍生出的高阶思维概念框架
机译:不同的遗传程序指导果蝇圆形和纵向内脏成肌细胞融合
机译:循环和高阶单子程序推导的快捷融合规则