Declarative GUIs: Simple, Consistent, and Verified
| Date first appeared online | 03/09/2018 |
| DOI | 10.1145/3236950.3236962 |
| Authors | Setzer A. |
| Journal Name | PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming |
| Volume |