Talks

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

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

Keynote: Rethinking our Adoption Strategy

Keynote 48:00 Keynote: Rethinking our Adoption Strategy

Keynote: Making Capabilities Safe and Convenient

Keynote 52:00 Keynote: Making Capabilities Safe and Convenient

Keynote: Open Embedded Sound Processing and Synthesis With Faust

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

Programming a Language

Keynote 54:00 Programming a Language

Nicolas Rinaudo

Yolc - A safe, expressive, fun language for Ethereum

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

An Introduction to Effectful Programming in Flix

Talk 41:00 An Introduction to Effectful Programming in Flix

Choreographing Distributed Systems: A Functional Approach

Talk 47:00 Choreographing Distributed Systems: A Functional Approach

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

Shoehorning dependency injection into a FP language (...)?

Talk 48:00 Shoehorning dependency injection into a FP language (...)?

Eric Torreborre

Create your first Language Server in Haskell

Talk 22:00 Create your first Language Server in Haskell

Why Clojure and Datomic Excel in Real-World Systems

Talk 41:00 Why Clojure and Datomic Excel in Real-World Systems

Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200

Talk 46:00 Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200

A lightweight DSL to generate verifiable Elixir GenServer Systems

Talk 17:00 A lightweight DSL to generate verifiable Elixir GenServer Systems

Beyond Purity and Functions: The Real Reason FP Matters

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

Haskell is Eating my Rails App from the Inside Out

Talk 45:00 Haskell is Eating my Rails App from the Inside Out

Suspension: the magic behind composability (or "The Kyo Monad")

Talk 44:00 Suspension: the magic behind composability (or "The Kyo Monad")

Leveraging Functional Programming for Scalable, Sustainable Web Apps

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

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

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

Going functional and immutable: Refactoring solution (...) from C# to F#

Talk 19:00 Going functional and immutable: Refactoring solution (...) from C# to F#

Learning How to Learn

Talk 39:00 Learning How to Learn

Carol Silva , Jordan Miller

Automating Type-Driven Development with (Co)algebras

Talk 23:00 Automating Type-Driven Development with (Co)algebras

Juan Manuel Serrano Hidalgo

Scala and TypeScript Synergy: Developing a (...) text editor

Talk 47:00 Scala and TypeScript Synergy: Developing a (...) text editor

Mihaela Gheorghe-Roman

Lightning Talk: Block-Based Programming for Functional Programming

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

Lightning Talk: Fun of writing codes in Unison

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

Lightning Talk: Fighting Pokemon Scalpers with Computer Science

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

David Corral-Plaza

Lightning Talk: Multiplayer FPS in Haskell; Raycasting in SSH

Lightning Talk 4:00 Lightning Talk: Multiplayer FPS in Haskell; Raycasting in SSH

Autology: Writing a self-rewriting Lisp

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

Functional programming in robotics

Talk 43:00 Functional programming in robotics

Natalia Chechina

Anatomy of a Scala Game Server

Talk 41:00 Anatomy of a Scala Game Server

Your Backend is Too Complicated

Talk 21:00 Your Backend is Too Complicated

Isaac Harris-Holt

Painting with functions in Cyfra

Talk 44:00 Painting with functions in Cyfra

Szymon Rodziewicz

Hoogle for the Hungry Masses!

Talk 46:00 Hoogle for the Hungry Masses!

The Laws of Infrastructure

Talk 43:00 The Laws of Infrastructure

You don't need an ORM

Talk 21:00 You don't need an ORM

Giacomo Cavalieri

Profunctor User Interfaces

Talk 21:00 Profunctor User Interfaces

Flavors of Scala - Spicing up your coding style

Talk 36:00 Flavors of Scala - Spicing up your coding style

Michał Płachta , Michał Pawlik

Testing functional UIs

Talk 19:00 Testing functional UIs

Hayleigh Thompson

Production Haskell Regrets

Talk 21:00 Production Haskell Regrets

What is Functional Programming?

Talk 46:00 What is Functional Programming?

Your docs are a program

Talk 48:00 Your docs are a program

Effect Systems in Practice Hécate

Talk 40:00 Effect Systems in Practice Hécate

Electrifying Norway with F# and DDD

Talk 40:00 Electrifying Norway with F# and DDD

Your Website as a Function From URL to HTML

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

Markus Schlegel

Lightning Talk: What's new in Gleam 1.11

Lightning Talk 5:00 Lightning Talk: What's new in Gleam 1.11

Giacomo Cavalieri

Lightning Talk: Stream Processing with Meta OCaml

Lightning Talk 6:00 Lightning Talk: Stream Processing with Meta OCaml

Christopher Winter

Lightning Talk: Scrap your side effects

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

Christoffer Ekeroth