Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands;
Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands,Faculty of Military Sciences, Netherlands Defense Academy P.O. Box 10000, 1780 CA, Den Helder, The Netherlands;
Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands;
Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands;
Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands;
Task-Oriented Programming; Clean;
机译:不纯编程语言的通用属性
机译:功能性BIP:以功能性编程语言嵌入连接器
机译:函数语言的程序递归形式和编程自动化
机译:以纯功能语言为面向的任务编程
机译:非严格的纯函数式编程语言中的力导向图绘制和美学测量。
机译:多能干细胞的高纯生理和药理学功能性窦房结的编程和分离
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证