Setzer, A., Adelsberger, S., & Walkingshaw, E. (2018). Declarative GUIs: Simple, Consistent, and Verified. PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, pp. 1-15. doi:10.1145/3236950.3236962
Chicago Style CitationSetzer, Anton, Stephan Adelsberger, and Eric Walkingshaw. "Declarative GUIs: Simple, Consistent, and Verified." PPDP '18 Proceedings of the 20th International Symposium On Principles and Practice of Declarative Programming 2018: 1-15.
MLA CitationSetzer, Anton, Stephan Adelsberger, and Eric Walkingshaw. "Declarative GUIs: Simple, Consistent, and Verified." PPDP '18 Proceedings of the 20th International Symposium On Principles and Practice of Declarative Programming 2018: 1-15.