Affiliation:
1. Swansea University, UK
Funder
European Cooperation in Science and Technology
Seventh Framework Programme
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Undecidability of Equality for Codata Types;Coalgebraic Methods in Computer Science;2018
2. Type Theory as a Framework for Modelling and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
3. Trace and Stable Failures Semantics for CSP-Agda;Electronic Proceedings in Theoretical Computer Science;2017-09-13
4. Interactive programming in Agda – Objects and graphical user interfaces;Journal of Functional Programming;2017