A4 Refereed article in a conference publication
Containers for GUI Models
Authors: Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko; Stenholm, Elisabeth; Robbestad Gylterud, Håkon
Editors: Söderberg, Emma; Church, Luke
Conference name: Programming: The Art, Science, and Engineering of Programming
Publisher: Association for Computing Machinery, Inc
Publication year: 2024
Book title : Programming '24 : Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming
Journal name in source: Programming Companion 2024 - Proceedings of the 8th International Conference on on the Art, Science, and Engineering of Programming
First page : 3
Last page: 5
ISBN: 979-8-4007-0634-9
DOI: https://doi.org/10.1145/3660829.3660830
Web address : https://dl.acm.org/doi/10.1145/3660829.3660830
Self-archived copy’s web address: https://research.utu.fi/converis/portal/detail/Publication/457352882
We present an ongoing work towards a programming approach for Graphical User Interfaces (GUIs), where structural operations on GUI data structures (such as inserting, removing, or reorganizing) can be declaratively specified and their implementations automatically generated. Concretely, we investigate how the type-theoretical notion of containers, an abstract formalism for specifying data structures, can be used for defining manipulatable GUI structures that have (multi-way) dependencies between their elements.
Downloadable publication This is an electronic reprint of the original article. |  |
