All topics

Functional Programming

General functional programming concepts, theory, and paradigms

Talks (84)

An Introduction to Effectful Programming in Flix
Talk 41:00 An Introduction to Effectful Programming in Flix

Magnus Madsen

Lambda Days 2025

Autology: Writing a self-rewriting Lisp
Talk 22:00 Autology: Writing a self-rewriting Lisp

Dave Kimber

Lambda Days 2025

Beyond Purity and Functions: The Real Reason FP Matters
Talk 23:00 Beyond Purity and Functions: The Real Reason FP Matters

Haemin Yoo

Lambda Days 2025

Choreographing Distributed Systems: A Functional Approach
Talk 47:00 Choreographing Distributed Systems: A Functional Approach

Paweł Szulc

Lambda Days 2025

From ‘Java Sucks’ to ‘Java…Eh, Not Bad’: Vert.x & Java 21
Talk 43:00 From ‘Java Sucks’ to ‘Java…Eh, Not Bad’: Vert.x & Java 21

Thomas Gebert

Lambda Days 2025

Functional programming in robotics
Talk 43:00 Functional programming in robotics

Natalia Chechina

Lambda Days 2025

Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods
Keynote 53:00 Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods

Moa Johansson

Lambda Days 2025

Keynote: Open Embedded Sound Processing and Synthesis With Faust
Keynote 55:00 Keynote: Open Embedded Sound Processing and Synthesis With Faust

Romain Michon

Lambda Days 2025

Learning How to Learn
Talk 39:00 Learning How to Learn

Carol Silva , Jordan Miller

Lambda Days 2025

Leveraging Functional Programming for Scalable, Sustainable Web Apps
Talk 16:00 Leveraging Functional Programming for Scalable, Sustainable Web Apps

Wendy Randolph

Lambda Days 2025

Lightning Talk: Block-Based Programming for Functional Programming
Lightning Talk 7:00 Lightning Talk: Block-Based Programming for Functional Programming

Farhad Mehta

Lambda Days 2025

Lightning Talk: Fighting Pokemon Scalpers with Computer Science
Lightning Talk 6:00 Lightning Talk: Fighting Pokemon Scalpers with Computer Science

David Corral-Plaza

Lambda Days 2025

Lightning Talk: Fun of writing codes in Unison
Lightning Talk 6:00 Lightning Talk: Fun of writing codes in Unison

Yoshikuni Kato

Lambda Days 2025

Lightning Talk: Scrap your side effects
Lightning Talk 6:00 Lightning Talk: Scrap your side effects

Christoffer Ekeroth

Lambda Days 2025

Local-First App Development with Event Sourcing: (...) in Kotlin
Talk 22:00 Local-First App Development with Event Sourcing: (...) in Kotlin

Merlin Pahic

Lambda Days 2025

Painting with functions in Cyfra
Talk 44:00 Painting with functions in Cyfra

Szymon Rodziewicz

Lambda Days 2025

Testing functional UIs
Talk 19:00 Testing functional UIs

Hayleigh Thompson

Lambda Days 2025

The Laws of Infrastructure
Talk 43:00 The Laws of Infrastructure

Łukasz Biały

Lambda Days 2025

What is Functional Programming?
Talk 46:00 What is Functional Programming?

Adam Warski

Lambda Days 2025

Yolc - A safe, expressive, fun language for Ethereum
Talk 41:00 Yolc - A safe, expressive, fun language for Ethereum

Miao ZhiCheng

Lambda Days 2025

You don't need an ORM
Talk 21:00 You don't need an ORM

Giacomo Cavalieri

Lambda Days 2025

Your Backend is Too Complicated
Talk 21:00 Your Backend is Too Complicated

Isaac Harris-Holt

Lambda Days 2025

Your docs are a program
Talk 48:00 Your docs are a program

Zainab Ali

Lambda Days 2025

Your Website as a Function From URL to HTML
Talk 20:00 Your Website as a Function From URL to HTML

Markus Schlegel

Lambda Days 2025

30+ years of modelling communicating systems in a functional style
Keynote 57:00 30+ years of modelling communicating systems in a functional style

Dame Muffy Calder

Lambda Days 2024

An Effect-ful functional framework for TypeScript
Talk 43:00 An Effect-ful functional framework for TypeScript

Alberto Schiabel

Lambda Days 2024

Bidirectional Data Transformations with Functional Optics
Talk 43:00 Bidirectional Data Transformations with Functional Optics

Marcus Crestani

Lambda Days 2024

Cellular Automata for video games
Talk 19:00 Cellular Automata for video games

Maciej Gorywoda

Lambda Days 2024

Code in Unison
Talk 50:00 Code in Unison

Daan van Berkel

Lambda Days 2024

David Turner Memorial Session
Talk 49:00 David Turner Memorial Session

John Hughes , Simon Thompson

Lambda Days 2024

Declarative UIs in a functional language
Talk 19:00 Declarative UIs in a functional language

Felipe Almeida Lessa

Lambda Days 2024

Far more than you've ever wanted to know about ADTs
Talk 45:00 Far more than you've ever wanted to know about ADTs

Nicolas Rinaudo

Lambda Days 2024

How does a programmer think about code?
Talk 44:00 How does a programmer think about code?

Szymon Rodziewicz

Lambda Days 2024

HVM - automatically parallel functional programs
Lightning Talk 6:00 HVM - automatically parallel functional programs

Lambda Days 2024

Imagine a Dependently Typed Python
Talk 22:00 Imagine a Dependently Typed Python

Andor Pénzes

Lambda Days 2024

Keynote: Algebraic Effect Handlers with Parallelizable Computations
Keynote 48:00 Keynote: Algebraic Effect Handlers with Parallelizable Computations

Ningning Xie

Lambda Days 2024

Keynote: The Two Cultures of Artifical Intelligence
Keynote 53:00 Keynote: The Two Cultures of Artifical Intelligence

Philip Wadler

Lambda Days 2024

My First Year in FP
Talk 22:00 My First Year in FP

Monica McGuigan

Lambda Days 2024

Property-testing all* the things in SerenityOS
Talk 45:00 Property-testing all* the things in SerenityOS

Martin Janiczek

Lambda Days 2024

Supercharge your tests with snapshot testing
Lightning Talk 5:00 Supercharge your tests with snapshot testing

Lambda Days 2024

The Power of Mentoring: Nurturing Growth in the IT Industry
Talk 46:00 The Power of Mentoring: Nurturing Growth in the IT Industry

Monica McGuigan

Lambda Days 2024

The Y Combinator: developing intuition around abstract recursion
Talk 19:00 The Y Combinator: developing intuition around abstract recursion

Dave Kimber

Lambda Days 2024

Types and other techniques as an accessibility tool for the ADHD brain
Talk 48:00 Types and other techniques as an accessibility tool for the ADHD brain

Michael Newton

Lambda Days 2024

WasmRef-Isabelle: how to formally verify a not-slow interpreter...
Talk 19:00 WasmRef-Isabelle: how to formally verify a not-slow interpreter...

Maja Trela

Lambda Days 2024

Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers
Talk 23:00 Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers

Thodoris Sotiropoulos

Lambda Days 2024

Beyond Functional Programming: A Taste of Verse
Keynote 1:12:00 Beyond Functional Programming: A Taste of Verse

Simon Peyton Jones , Tim Sweeney

Lambda Days 2023

Composition Intuition
Talk 47:00 Composition Intuition

Conor Hoekstra

Lambda Days 2023

Daml
Talk 42:00 Daml

Lambda Days 2023

Functional Females
Lightning Talk 3:00 Functional Females

Becca Williams

Lambda Days 2023

Information Programming
Lightning Talk 5:00 Information Programming

Adam Vandervorst

Lambda Days 2023

Keynote: How to Find the Right Rhythm for Your Software Composition
Keynote 1:07:00 Keynote: How to Find the Right Rhythm for Your Software Composition

Jordan Miller

Lambda Days 2023

Keynote: How to Regulate Large Language Models
Keynote 1:11:00 Keynote: How to Regulate Large Language Models

Filip Konopczyński

Lambda Days 2023

Let it Be
Talk 22:00 Let it Be

Ariel Alexi

Lambda Days 2023

Rules for Young Programmers
Lightning Talk 6:00 Rules for Young Programmers

Michał Moroz

Lambda Days 2023

Unison: Program Differently
Talk 45:00 Unison: Program Differently

Adam Warski

Lambda Days 2023

Why Design Your Own Levels When Your Computer Can Do It?
Talk 38:00 Why Design Your Own Levels When Your Computer Can Do It?

Thomas Gebert

Lambda Days 2023

A Bricklayer Tech Report
Talk 29:00 A Bricklayer Tech Report

Victor Winter

Lambda Days 2021

A UML Equivalent for Functional Programming
Talk 23:00 A UML Equivalent for Functional Programming

Yusuf Motara

Lambda Days 2021

Constructive Bidirectional Programming
Talk 48:00 Constructive Bidirectional Programming

Zhenjiang Hu

Lambda Days 2021

Correct-by-Construction Cryptographic Arithmetic in Coq
Talk 24:00 Correct-by-Construction Cryptographic Arithmetic in Coq

Adam Chlipala

Lambda Days 2021

Curious Properties of Latency Distributions
Talk 28:00 Curious Properties of Latency Distributions

Lambda Days 2021

Dependent Types
Keynote 1:01:00 Dependent Types

Lambda Days 2021

Dimensional Analysis for Multidimensional Dataflow Programming
Talk 30:00 Dimensional Analysis for Multidimensional Dataflow Programming

Monem Shennat

Lambda Days 2021

From FP to OO in the Classroom
Talk 28:00 From FP to OO in the Classroom

Lambda Days 2021

Functional Programming: the Glue for Introducing Computing through Data Science
Talk 47:00 Functional Programming: the Glue for Introducing Computing through Data Science

Kathi Fisler

Lambda Days 2021

JIT for Dynamic Programming Languages Considered Easy
Talk 21:00 JIT for Dynamic Programming Languages Considered Easy

Taine Zhao

Lambda Days 2021

Keynote: Hardware as Software
Keynote 1:05:00 Keynote: Hardware as Software

Pat Hanrahan

Lambda Days 2021

Keynote: Humane Tech
Keynote 59:00 Keynote: Humane Tech

Kamil Grondys , Karolina Iwańska

Lambda Days 2021

Keynote: Writing Good Programs in Functional Languages
Keynote 54:00 Keynote: Writing Good Programs in Functional Languages

Perdita Stevens

Lambda Days 2021

Teaching Automated Reasoning and Formally Verified Software
Talk 25:00 Teaching Automated Reasoning and Formally Verified Software

Jørgen Villadsen

Lambda Days 2021

Teaching Programming to Novices Using the codeBoot Environment
Talk 26:00 Teaching Programming to Novices Using the codeBoot Environment

Olivier Melançon

Lambda Days 2021

Toward Automated Feedback in HtDP-based Programming: A DSL Approach
Talk 25:00 Toward Automated Feedback in HtDP-based Programming: A DSL Approach

Junya Nose

Lambda Days 2021

Translating Lambda Calculus into C++ Templates
Talk 27:00 Translating Lambda Calculus into C++ Templates

Vít Šefl

Lambda Days 2021

A Board Game Night with Geeks
Talk 48:00 A Board Game Night with Geeks

Felienne Hermans

Lambda Days 2016

A Brief History of Programming Languages
Talk 31:00 A Brief History of Programming Languages

Andrea Magnorsky

Lambda Days 2016

ACP and PGA
Talk 23:00 ACP and PGA

Andre van Delft

Lambda Days 2016

Functional Reactive UI with JavaScript
Talk 36:00 Functional Reactive UI with JavaScript

Zaiste

Lambda Days 2016

History and Philosophy of Types
Talk 47:00 History and Philosophy of Types

Tomáš Petříček

Lambda Days 2016

Modeling Your Domain
Talk 37:00 Modeling Your Domain

Norbert Wojtowicz

Lambda Days 2016

On Language Design
Keynote 1:01:00 On Language Design

Robert Virding

Lambda Days 2016

Practical Demystification of CRDT
Talk 40:00 Practical Demystification of CRDT

Nami Naserazad , Dmitry Ivanov

Lambda Days 2016

Teaching Functional Programming to Noobs
Talk 49:00 Teaching Functional Programming to Noobs

Rob Martin

Lambda Days 2016

Things that Matter
Talk 46:00 Things that Matter

Bruce Tate

Lambda Days 2016

Using an Actor Framework for Scientific Computing
Talk 24:00 Using an Actor Framework for Scientific Computing

Krzysztof Borowski

Lambda Days 2016