Sponsored
Sponsored
Media Summary: In this talk, we will explore how we built a library to define In this talk, we'll explore how Kotlin combines This presentation by Raúl Raja took place at

Lambda World 25 Declarative Uis - Detailed Analysis & Overview

In this talk, we will explore how we built a library to define In this talk, we'll explore how Kotlin combines This presentation by Raúl Raja took place at Practicing functional programming inside a Fortune 100 enterprise can feel like flying the Starship Enterprise through asteroid ... This talk shares the experience of building a web application in two functional languages: Clojure and Elixir. By looking at how ... The Dialectics of Type-Level Programming; or How I Learned To Love Values by Aaron Levin About this talk: Can my compiler ...

As the chatter over direct-style effects gains steam with Odersky publishing "Lean Scala" manifesto and speaking in multiple ... Discover how a domain-specific language (DSL) in Scala can help you design secure and composable prompts for LLMs. Open debate with Raul Raja, Jack Higgs, Isaias Bartelborth and Anurag Mendekhar for the closing activity of

Photo Gallery

Lambda World 25 - Declarative UIs in a functional language by Damian Soriano
Lambda World 25 - From Functions to Inlinable Effects in Kotlin by Michail Zarecenskij
Lambda World 25 - Verse - A New Functional Logic Language by Lennart Augustsson
Java 8 (and 9!) in Anger by Trisha Gee
Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl Raja
Lambda World 25 - Starship Enterprise: Functional Programming at Huge Companies by  Jack Higgs
Lambda World 2025 - From Clojure to Elixir: Leveraging Functional Programming for Scalable...Wendy R
Lambda World 25 - Complexity is a Sin by Volodymyr Yaroslavskyi
Declarative UIs in a functional language - Felipe Almeida Lessa | Lambda Days 2024
Testing functional UIs - Hayleigh Thompson | Lambda Days 2025
The Dialectics of Type-Level Programming by Aaron Levin
LW25 - Pick a (Effect) Lane: A comparison of direct-style Scala vs effect systems by Jayanth Manklu
View Detailed Profile
Lambda World 25 - Declarative UIs in a functional language by Damian Soriano

Lambda World 25 - Declarative UIs in a functional language by Damian Soriano

In this talk, we will explore how we built a library to define

Lambda World 25 - From Functions to Inlinable Effects in Kotlin by Michail Zarecenskij

Lambda World 25 - From Functions to Inlinable Effects in Kotlin by Michail Zarecenskij

In this talk, we'll explore how Kotlin combines

Sponsored
Lambda World 25 - Verse - A New Functional Logic Language by Lennart Augustsson

Lambda World 25 - Verse - A New Functional Logic Language by Lennart Augustsson

Verse

Java 8 (and 9!) in Anger by Trisha Gee

Java 8 (and 9!) in Anger by Trisha Gee

About this talk: Many of

Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl Raja

Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl Raja

This presentation by Raúl Raja took place at

Sponsored
Lambda World 25 - Starship Enterprise: Functional Programming at Huge Companies by  Jack Higgs

Lambda World 25 - Starship Enterprise: Functional Programming at Huge Companies by Jack Higgs

Practicing functional programming inside a Fortune 100 enterprise can feel like flying the Starship Enterprise through asteroid ...

Lambda World 2025 - From Clojure to Elixir: Leveraging Functional Programming for Scalable...Wendy R

Lambda World 2025 - From Clojure to Elixir: Leveraging Functional Programming for Scalable...Wendy R

This talk shares the experience of building a web application in two functional languages: Clojure and Elixir. By looking at how ...

Lambda World 25 - Complexity is a Sin by Volodymyr Yaroslavskyi

Lambda World 25 - Complexity is a Sin by Volodymyr Yaroslavskyi

Code complexity

Declarative UIs in a functional language - Felipe Almeida Lessa | Lambda Days 2024

Declarative UIs in a functional language - Felipe Almeida Lessa | Lambda Days 2024

This talk was recorded at

Testing functional UIs - Hayleigh Thompson | Lambda Days 2025

Testing functional UIs - Hayleigh Thompson | Lambda Days 2025

This talk was recorded at

The Dialectics of Type-Level Programming by Aaron Levin

The Dialectics of Type-Level Programming by Aaron Levin

The Dialectics of Type-Level Programming; or How I Learned To Love Values by Aaron Levin About this talk: Can my compiler ...

LW25 - Pick a (Effect) Lane: A comparison of direct-style Scala vs effect systems by Jayanth Manklu

LW25 - Pick a (Effect) Lane: A comparison of direct-style Scala vs effect systems by Jayanth Manklu

As the chatter over direct-style effects gains steam with Odersky publishing "Lean Scala" manifesto and speaking in multiple ...

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25

This talk was recorded at

Lambda World 2025 Summary Video

Lambda World 2025 Summary Video

A fast-paced recap of last week's

LW25 - Prompting Safely: Building Secure LLM Prompts with a Scala DSL by Ignacio Gallego & Isaias B.

LW25 - Prompting Safely: Building Secure LLM Prompts with a Scala DSL by Ignacio Gallego & Isaias B.

Discover how a domain-specific language (DSL) in Scala can help you design secure and composable prompts for LLMs.

Lambda World 25 - Does FP still matter in the era of AI?

Lambda World 25 - Does FP still matter in the era of AI?

Open debate with Raul Raja, Jack Higgs, Isaias Bartelborth and Anurag Mendekhar for the closing activity of

Lambda World 2019 - Arrow Meta - Enabling Functional Programming in the Kotlin Compiler

Lambda World 2019 - Arrow Meta - Enabling Functional Programming in the Kotlin Compiler

In this

Related Video Content

Lambda Symbol (λ) information

The λ (lambda) symbol is used throughout math, physics and computer science. For example, lambda is used to represent...

Lambda - Wikipedia information

Lambda is the set of logical axioms in the axiomatic method of logical deduction in first-order logic. Uppercase...

Serverless Computing - AWS Lambda - Amazon Web Services information

With AWS Lambda, you can build and operate powerful web and mobile back-ends that deliver consistent, uninterrupted...

Lambda Center Houston – LGBTQ 12-Step Recovery Club information

Mar 10, 2026 · Lambda was founded in February of 1978 and is the home to Houston’s LGBTQ recovery community. The...

Lambda (λ) - Greek Letter | Greek Symbols information

Learn about the Greek letter Lambda (λ), its pronunciation, usage examples, and common applications in mathematics,...

Sponsored