Fri 21 Jun 2024 14:00 - 14:30 - PLNL 2024

The study of programming language semantics lets us fix the meaning of language concepts and helps us understand how programs behave and interact with their environment. Domain theory has first been developed to give a semantics to recursion in programming languages, but it also serves as a great theory to model various algebraic effects such as non-determinism, partial functions, side effects and numerous other forms of computation.

In this work, we present a general framework to construct algebraic effects in domain theory. We first describe a method to represent various algebraic effects, and then interpret these effects using initial algebra semantics. We show that several well-known examples of algebraic effects fit our framework.

Our work makes use of various features of Homotopy Type Theory and is formalized in Cubical Agda.

(slides.pdf)316KiB

Fri 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 17:00
PLNL 2024PLNL 2024
11:00
30m
Talk
Salix: Elm-style Web programming in Rascal, an exercise in library design
PLNL 2024
Tijs van der Storm CWI & University of Groningen
11:30
30m
Talk
It‘s RASCALing – Using Game Engines to rapidly prototype Visual Programming Environments
PLNL 2024
Elisabeth Kletsko University of Amsterdam, Riemer van Rozen CWI
12:00
30m
Talk
Vie is a Game-Changer: Programming Languages meets Game-Based Learning
PLNL 2024
12:30
60m
Lunch
Lunch time
PLNL 2024

13:30
30m
Talk
Supporting Cooperative System Specification via Meta-Programming Language Features
PLNL 2024
Christopher Esterhuyse University of Amsterdam
14:00
30m
Talk
Formalizing Algebraic Effects using Domain Theory
PLNL 2024
Simcha van Collem Radboud University Nijmegen, Niels van der Weide Radboud University, Herman Geuvers Radboud University Nijmegen, Netherlands
File Attached
14:30
30m
Talk
Language-Parametric Reference Synthesis
PLNL 2024
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Aron Zwaan Delft University of Technology, Casper Bach Delft University of Technology
15:00
30m
Talk
Multiverse Recursive Descent Grammar Exploration
PLNL 2024
L. Thomas van Binsbergen University of Amsterdam
File Attached
15:30
90m
Break
Drinks and discussion
PLNL 2024

:
:
:
: