

Lambda World
2.9K posts

@Lambda_World
An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.



MONADIC MONDAYS! We are joining forces with @JOTBConf and @WeyWeyWeb in Torremolinos on October 29–30, 2026. - Tickets available with special pricing + online tickets - The CFP is OPEN - Sponsorship options are also available Join us 👉 lambda.world





We bring to you When magic meets multicore - OCaml and its elegant era of parallelism presented by Sonja Heinze & Carine Morel #lambdaworld









🎥The Lambda World ’25 recap is live! 💥 Cádiz gathered the functional faithful for monadic potions, hot topics like Correctness, Formal Verification & Refinement Types, and classics: Effect Systems, DSLs, and new FP languages. ⚡️We may be few, but the future is functional. λ









What is the origin of Lambda? Why does everything go back to Cadiz? Only 2 weeks for Lambda World 2025 - October 23-24 - lambda.world/tickets/ #FunctionalProgramming #Lambda #CategoryTheory #TypeSystems #Haskell #Scala #OCaml #Rust #Elixir







