research
∙
08/17/2023
Proceedings 16th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'23, the 16th Interaction and...
share
research
∙
06/22/2023
Special Delivery: Programming with Mailbox Types (Extended Version)
The asynchronous and unidirectional communication model supported by mai...
research
∙
10/21/2022
Language-Integrated Query for Temporal Data (Extended version)
Modern applications often manage time-varying data. Despite decades of r...
research
∙
05/19/2021
Separating Sessions Smoothly
This paper introduces Hypersequent GV (HGV), a modular and extensible co...
research
∙
05/14/2021
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Human fallibility, unpredictable operating environments, and the heterog...
research
∙
03/08/2020
Cross-tier web programming for curated databases: A case study
Curated databases have become important sources of information across sc...
research
∙
03/04/2020
Language-Integrated Updatable Views (Extended version)
Relational lenses are a modern approach to the view update problem in re...
research
∙
10/24/2019
Model-View-Update-Communicate: Session Types meet the Elm Architecture
The Elm programming language pioneers the Model-View-Update (MVU) archit...
research
∙
10/24/2019