Stephan Adelsberger, Anton Setzer, Eric Walkingshaw. Declarative GUIs: Simple, Consistent, and Verified. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]
@inproceedings{AdelsbergerSW18-0,
title = {Declarative GUIs: Simple, Consistent, and Verified},
author = {Stephan Adelsberger and Anton Setzer and Eric Walkingshaw},
year = {2018},
doi = {10.1145/3236950.3236962},
url = {https://doi.org/10.1145/3236950.3236962},
researchr = {https://researchr.org/publication/AdelsbergerSW18-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018},
editor = {David Sabel and Peter Thiemann},
publisher = {ACM},
}