Publisher
Cambridge University Press
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conceptual Foundations of Code Rationalization Through a Case Study in Haskell;Advanced Information Networking and Applications;2022
2. Type-Driven Verification of Non-functional Properties;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
3. Program extraction applied to monadic parsing;Journal of Logic and Computation;2019-06-06
4. Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs;Interactions Between Computational Intelligence and Mathematics;2018
5. Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback;International Journal of Artificial Intelligence in Education;2016-02-05