ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Sun 12 Oct 2025 09:45 - 10:30 at Seminar Room 8 - FUNARCH Talks #1 Chair(s): Jeffrey Young

Functional paradigms for user-interface (UI) programming have undergone significant evolution over the years, from early stream-based approaches, monad-based toolkits mimicking OO practice to modern model-view-update frameworks. Changing from the inherently imperative classic Model-View-Controller pattern to functional approaches has significant architectural impact, drastically reducing coupling and improving maintainability and testability. On the other hand, achieving good modularity with functional approaches is an ongoing challenge. This paper traces the evolution of functional UI toolkits along with the architectural implications of their designs (including two of our own), summarizes the current state of the art and discusses remaining issues.

This program is tentative and subject to change.

Sun 12 Oct

Displayed time zone: Perth change

09:00 - 10:30
FUNARCH Talks #1FUNARCH at Seminar Room 8
Chair(s): Jeffrey Young Epic Games
09:00
45m
Talk
A Layered Certifying Compiler Architecture
FUNARCH
Jacco Krijnen Utrecht University, Wouter Swierstra Utrecht University, Netherlands, Manuel Chakravarty Tweag & IOG, Joris Dral Well-Typed, Gabriele Keller Utrecht University
09:45
45m
Talk
Evolution of Functional UI Paradigms
FUNARCH
Michael Sperber Active Group GmbH, Markus Schlegel Active Group GmbH