sle2025/keynote2

SLE 2025 keynote:
Can Programming Be Liberated from the Functional Style?

Friedrich Steimann

• DOI: 10.1145/3732771.3742708
• T3D: GPLs
  • It discusses general-purpose programming paradigms (functional vs. relational/modelling styles) rather than a specific DSL.
• T1A: Design
  • The argument is about (re-)designing programming languages around different core abstractions and composition of results.
• T1C: Behavioural Semantics
  • It reasons about computation/meaning (what programs can produce) at the level of behavioural/executable semantics.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.