Author:
Adelsberger Stephan,Setzer Anton,Walkingshaw Eric
Publisher
Springer International Publishing
Reference37 articles.
1. Abel, A., Adelsberger, S., Setzer, A.: Interactive programming in Agda - objects and graphical user interfaces. J. Funct. Program. 27, 38 (2017). https://doi.org/10.1017/S0956796816000319
2. Abel, A., Pientka, B.: Well-founded recursion with copatterns and sized types. JFP 26, e2 (2016). iCFP 2013 special issue
3. Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: POPL 2013, pp. 27–38. ACM, New York (2013)
4. Adelsberger, S., Setzer, A., Walkingshaw, E.: Deveoping GUI applications in a verified setting (2017). https://github.com/stephanpaper/SETTA18 , git respository
5. Adelsberger, S., Setzer, A., Walkingshaw, E.: Declarative GUIs: simple, consistent, and verified. In: International Conference on Principles and Practice of Declarative Programming (PPDP). ACM (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Declarative GUIs;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03