2019-02-15: Malin Altenmüller (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Malin Altenmüller (MSP)

Finitary indexed containers

Abstract

I will talk about two different representatives of indexed containers which — all together in the end — will construct an application that manages windows on a screen.

The first instance of containers are rectangular windows. Defining these in terms of finite indexed containers (finite in the number of positions where elements can be stored) lets us interpret indices as outer boundaries. I will show some constructions on these space partitioning structures, e.g. product operations and overlaying of windows (this will hopefully include some pretty pictures!).

Secondly I will explain how we can encode applications as indexed containers (not necessarily finite, despite the title), being defined in terms of commands and responses. To sum up I present the window managing application where all the above things will occur and get combined.

I am working on these topics together with Conor and we are currently collocating them in a paper.

2019-02-15 16:00:00 UTC
LT1310