FUNARCH 2025 – Proceedings

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

Frontmatter

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

Six Years of FUNAR: Functional Training for Software Architects
Michael Sperber
(Active Group, Germany)

Publisher's Version

Evolution of Functional UI Paradigms
Michael Sperber and Markus Schlegel
(Active Group, Germany)

Publisher's Version

proc time: 0.65