zbMATH中的参考文献（参考文献89篇文章,1标准件)

1. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:从演员合作调度到Haskell（2020）的正式资源消耗保护翻译
2. 卢克š我č, Ž政府间协议；Pretnar，Matija:局部代数效应理论（2020）
3. 本德科夫斯基，麦基；博迪尼，奥利弗；Dovgal，Sergey:lambda项的统计特性（2019）
4. 本德科夫斯基，麦基；Lescanne，Pierre:关于闭包和环境的计数及其在随机生成中的应用（2019）
5. 卡巴莱罗，拉斐尔；马丁·马丁，恩里克；里斯科，阿德里án；萨尔瓦多塔马里特：声明性调试的核心Erlang语义（2019）
6. 吉卡，丹·R。；潜在游戏语义分析（Hyalstod，2019）
7. Johansson，Moa：归纳引理的发现。调查（2019年）
8. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
9. 保尔森，劳伦斯·C。；尼普科，托比亚斯；温泽尔，马卡里乌斯：从LCF到伊莎贝尔/霍尔（2019）
10. 奥斯汀，埃文；巴特森，斯科特；咖喱，彼得；威廉姆斯，布莱恩：寻找计算机辅助加密的中间地带（2018）
11. 卡巴莱罗，拉斐尔；马丁·马丁，恩里克；里斯科，阿德里án；萨尔瓦多塔马里特：并发Erlang程序的声明性调试（2018）
12. 石井，广美：嵌入Haskell的纯功能计算机代数系统（2018）
13. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:演员到Haskell的正式、资源消耗保护翻译（2017）
14. 勃兰特，Jö尔根；莱希格，沃尔夫冈；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
15. 西蒙·克鲁恩斯：《可满足模有界检验》（2017）
16. 西蒙·克鲁恩斯：《结构归纳的叠加》（2017）
17. 大卫·因萨，塞尔吉奥·Pérez，Josep Silva，Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
18. 格德斯，亚历克斯；希伦，巴斯蒂安；杰瑞，约翰；范宾斯伯格，L。托马斯：问一下elle：Haskell提供自动反馈的适应性编程导师（2017）数学
19. Johansson，Moa:交互式定理证明的自动理论探索：Hipster系统简介（2017）
20. 七鳃鳗；王加洛瓦，黛安；人权指数ţ铜，碳ătă林；休斯，约翰；皮尔斯，本杰明C。；夏，李瑶：初学者的运气：基于财产的发电机的语言（2017）