About this event
A functional-programming conference combining talks and workshops on type systems, effects, proofs and language design. Published sessions explore dependent Haskell, Lean beyond proof writing, the history of OTP, Cats Effect performance, functional Kotlin services and concurrent monads. Workshops address Erlang session types and data-race freedom with OxCaml, with shared sessions alongside J On The Beach and Wey Wey Web.
When
29-30 October 2026
2 days
Price
See website
CFP
Closed (Mar 31)