Call for speakers

We're looking for talks on Haskell, OCaml, type systems and proofs, compilers and runtimes, and functional programming in practice. Tell us about your talk below.