Declarative GUIs: Simple, Consistent, and Verified

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]

Authors

Stephan Adelsberger

This author has not been identified. Look up 'Stephan Adelsberger' in Google

Anton Setzer

This author has not been identified. Look up 'Anton Setzer' in Google

Eric Walkingshaw

This author has not been identified. Look up 'Eric Walkingshaw' in Google