Speakers

Property-Based Testing as a Substitute for Proof (Sometimes)

Proof by Reflection, Explained to Your Manager

Row Polymorphism in OCaml: A Practical Introduction

What Agda's Termination Checker Rejects and Why It's Usually Right

Multicore OCaml: Domains, Not Threads

Pattern Synonyms and the API You Wish You'd Designed First

Arrows, Applicatives, and the Parser Combinator You Actually Need

Refinement Types in Production: Three Bugs They Actually Caught

GADTs for People Who Just Want Their Code to Compile

Interviewing for Functional Roles Without a Whiteboard & Is Purity Worth the Onboarding Cost?

What Standard ML Got Right (and Where We Went a Different Way) & Where Is Functional Programming Going? A Disagreement About the Next Five Years

Who Maintains the Compiler You Depend On & Where Is Functional Programming Going? A Disagreement About the Next Five Years

Onboarding a Team of Imperative Programmers in Six Weeks

Refinement Types That Survive a Refactor

What Lean's Tactic Language Taught Us About Ergonomics

Functional Cores, Imperative Shells: A Decade Later

Verifying a Real Scheduler in Rocq: Six Months, One Property

Incident Review: A Two-Hour Outage Caused by a Missing seq

Effect Handlers Without the Ceremony: A Practical Guide to OCaml 5 Effects

Compilers Are Just Programs: What Ten Years of Flambda Taught Us & Is Purity Worth the Onboarding Cost?

Building a Faster Package Resolver for the OCaml Ecosystem

Cubical Type Theory Without the Headache & Where Is Functional Programming Going? A Disagreement About the Next Five Years

A Postmortem: The Day Our Thunks Ate All the Memory

Streaming Without Leaks: A Field Guide to conduit and pipes

On-Call for a Pure Functional Backend: What Actually Pages Us

Bidirectional Type Checking: A Tutorial for People Who Skipped the Paper

Dependent Types for Working Programmers: Where Agda Earns Its Keep

Cost Modeling for Lazy Evaluation: A Spreadsheet That Saved Us $40k/Month & Where Is Functional Programming Going? A Disagreement About the Next Five Years

Hiring Functional Programmers When Nobody Applies

Laziness in Production: A Decade of GHC at Scale & Is Purity Worth the Onboarding Cost?

Code Review for Functional Codebases: What We Look For

The Incident Where nub Was O(n^2)

Opening Remarks & Day One Close & Community Announcements & Closing Keynote: Staying Serious in a Hype Cycle

Migrating 400k Lines of Python to Haskell Without Stopping the World & Is Purity Worth the Onboarding Cost?

Inlining Decisions in GHC: Reading the Core Output So You Don't Have To

Deriving JSON Codecs Without a Macro

Effect Systems vs Monad Transformers: A Migration Story & Where Is Functional Programming Going? A Disagreement About the Next Five Years

Three Years of Functional Programming Interviews: What We Changed & Where Is Functional Programming Going? A Disagreement About the Next Five Years

Strictness Analysis in the Wild: What GHC Still Gets Wrong

Mechanizing Progress and Preservation for a Real Language, Not a Toy One & Is Purity Worth the Onboarding Cost?

Termination Checking Without Losing Your Mind