Talks

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

Keynote: Algebraic Effect Handlers with Parallelizable Computations

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

Task-Oriented Functional Programming for Industrial Applications

Keynote 1:10:00 Task-Oriented Functional Programming for Industrial Applications

Rinus Plasmeijer

Keynote: The Two Cultures of Artifical Intelligence

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

Bidirectional Data Transformations with Functional Optics

Talk 43:00 Bidirectional Data Transformations with Functional Optics

Marcus Crestani

Automata Unveiled: A Theoretical Exploration of State Machines

Talk 45:00 Automata Unveiled: A Theoretical Exploration of State Machines

Building a Large-Scale, Streaming-Based Logging and Monitoring Solution with Clojure

Talk 6:00 Building a Large-Scale, Streaming-Based Logging and Monitoring Solution with Clojure

Marcus Crestani

Lustre Universal Components: the best of Elm and Phoenix LiveView

Talk 40:00 Lustre Universal Components: the best of Elm and Phoenix LiveView

Hayleigh Thompson

David Turner Memorial Session

Talk 49:00 David Turner Memorial Session

Simon Thompson , John Hughes

The Functional Edge: Robotic Testing with Bowler Studio and Clojure

Talk 43:00 The Functional Edge: Robotic Testing with Bowler Studio and Clojure

SAFE Stack: The Pit of Success for Functional Web Programming

Talk 46:00 SAFE Stack: The Pit of Success for Functional Web Programming

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

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

The Y Combinator: developing intuition around abstract recursion

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

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

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

The design and (...) of embedded Domain Specific Languages

Talk 47:00 The design and (...) of embedded Domain Specific Languages

Functional Platform Engineering with Scala and Pulumi

Talk 48:00 Functional Platform Engineering with Scala and Pulumi

From 1 to 100k users: Lessons learned from scaling a Haskell app

Talk 21:00 From 1 to 100k users: Lessons learned from scaling a Haskell app

Detecting Noninterference Violations with Property-Based Testinganda Andrade

Talk 21:00 Detecting Noninterference Violations with Property-Based Testinganda Andrade

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

A Scientific Document Management System (Elm + Lamdera)

Talk 19:00 A Scientific Document Management System (Elm + Lamdera)

Haskell is just the beginning

Lightning Talk 6:00 Haskell is just the beginning

Programming for the Planet

Keynote 57:00 Programming for the Planet

Anil Madhavapeddy

How does a programmer think about code?

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

Szymon Rodziewicz

Dynamic system behavior control at runtime

Talk 42:00 Dynamic system behavior control at runtime

Veronika Yastrebova

Gradualize your language with set-theoretic types

Talk 44:00 Gradualize your language with set-theoretic types

Guillaume Duboc

An Effect-ful functional framework for TypeScript

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

Alberto Schiabel

Lessons learnt from writing 10k LOC in Elm

Talk 32:00 Lessons learnt from writing 10k LOC in Elm

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

Property-testing all* the things in SerenityOS

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

Martin Janiczek

Embedding of external DSLs in Scala: why and how!

Talk 45:00 Embedding of external DSLs in Scala: why and how!

Juan Manuel Serrano Hidalgo

fast - grepping SQL code like a boss

Talk 45:00 fast - grepping SQL code like a boss

Jônatas Paganini

Imagine a Dependently Typed Python

Talk 22:00 Imagine a Dependently Typed Python

Media streaming in the functional world

Talk 21:00 Media streaming in the functional world

Cellular Automata for video games

Talk 19:00 Cellular Automata for video games

Maciej Gorywoda

Declarative UIs in a functional language

Talk 19:00 Declarative UIs in a functional language

Felipe Almeida Lessa

Code in Unison

Talk 50:00 Code in Unison

Daan van Berkel

My First Year in FP

Talk 22:00 My First Year in FP

Monica McGuigan

What's cooking in GRiSP & Gwendal Laurent

Lightning Talk 10:00 What's cooking in GRiSP & Gwendal Laurent

Gwendal Laurent

HVM - automatically parallel functional programs

Lightning Talk 6:00 HVM - automatically parallel functional programs

Modelling Things with Persistent Types

Lightning Talk 6:00 Modelling Things with Persistent Types

Supercharge your tests with snapshot testing

Lightning Talk 5:00 Supercharge your tests with snapshot testing

EU Cyber Resiliency Act

Lightning Talk 6:00 EU Cyber Resiliency Act