Author:
Ancona Davide,Zucca Elena
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classical (co)recursion: Mechanics;Journal of Functional Programming;2023
2. Where Should We Put It? Layout and Placement Strategies of Documents in Augmented Reality for Collaborative Sensemaking;CHI Conference on Human Factors in Computing Systems;2022-04-29
3. Enhancing Expressivity of Checked Corecursive Streams;Functional and Logic Programming;2022
4. Foundations of regular coinduction;Logical Methods in Computer Science;2021-10-01
5. Software language engineers’ worst nightmare;Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering;2020-11-15