SPLASH Workshop/Symposium Events 2025
2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2025)
Powered by
Conference Publishing Consulting
3rd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2025), October 12–18, 2025, Singapore, Singapore

FUNARCH 2025 – Proceedings

 Contents - Abstracts - Authors

3rd ACM SIGPLAN International Workshop on Functional Software Architecture (FUNARCH 2025)

Frontmatter

Title Page
Article: splashws25funarchforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws25funarchforeword-fm001-p doi:
FUNARCH 2025 Organization
Article: splashws25funarchforeword-fm002-p doi:

Papers

A Layered Certifying Compiler Architecture
Jacco O.G. Krijnen, Wouter Swierstra, Manuel Chakravarty, Joris Dral, and Gabriele Keller
(Utrecht University, Netherlands; Tweag, Netherlands; IOG, Netherlands; Well-Typed, Netherlands)
Publisher's Version Article: splashws25funarchmain-p1-p doi:10.1145/3759163.3760427
Six Years of FUNAR: Functional Training for Software Architects
Michael Sperber
(Active Group, Germany)
Publisher's Version Article: splashws25funarchmain-p2-p doi:10.1145/3759163.3760428
Evolution of Functional UI Paradigms
Michael Sperber and Markus Schlegel
(Active Group, Germany)
Publisher's Version Article: splashws25funarchmain-p3-p doi:10.1145/3759163.3760429

proc time: 0.01