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

Elm is small, purely functional language for web-programming designed by Evan Czaplicki. It is based on the model-view-update render loop, providing an immediate mode UI programming model, similar to game engine render loops. One of the main benefits is that it leads to straight-line code, without call-back hell or the dependency glitches often observed in reactive programming systems. I’ve ported this programming model to Rascal as an embedded DSL/library, called Salix. I will discuss some trade-offs and challenges in the design and demonstrate its abilities and limitations.

Tijs van der Storm is senior researcher in the Software Analysis and Transformation (SWAT) group at Centrum Wiskunde & Informatica (CWI) in Amsterdam, and full professor in Software Engineering at the University of Groningen in Groningen. His research focuses on improving programmer experience through new and better software languages and developing the tools and techniques to engineer them in a modular and interactive fashion.

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 Poulsen 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