Containers for GUI Models
: Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko; Stenholm, Elisabeth; Robbestad Gylterud, Håkon
: Söderberg, Emma; Church, Luke
: Programming: The Art, Science, and Engineering of Programming
Publisher: Association for Computing Machinery, Inc
: 2024
: Programming '24 : Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming
: Programming Companion 2024 - Proceedings of the 8th International Conference on on the Art, Science, and Engineering of Programming
: 3
: 5
: 979-8-4007-0634-9
DOI: https://doi.org/10.1145/3660829.3660830(external)
: https://dl.acm.org/doi/10.1145/3660829.3660830(external)
: https://research.utu.fi/converis/portal/detail/Publication/457352882(external)
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.
