June 22 - 23 (Unconference)

New York City, NY

http://www.composeconference.org/2019

===============================================
The practice and craft of functional programming :: Conference

Compose is a conference for typed functional programmers, focused specifically on Haskell, OCaml, F#, SML, and related technologies.

Typed functional programming has been taken up widely, by industry and hobbyists alike. For many of us it has renewed our belief that code should be beautiful, and that programming can be as enjoyable as it is practical. Compose is about bringing together functional programmers of all levels of skill and experience — from technical leads to novices, and from long-time hackers to students just getting started.

It will feature a two days of great and wide-ranging talks

Invited Keynotes
Donya Quick – Making Algorithmic Music

David Spivak – Compositional Graphical Logic

Accepted Talks and Tutorials
Kenny Foner – Functors of the World, Unite!

Phillip Carter – The anatomy of the F# tools for Visual Studio

Sebastien Mondet – Genspio: Generating Shell Phrases In OCaml

Justin Le – Applicative Regular Expressions using the Free Alternative

Gaetano Checinski – Buckaroo SAT – Solving a partially revealed SAT problem for Package Management

Richard Feldman – From Rails to Elm and Haskell

Samuel Gélineau – Stuck macros: deterministically interleaving macro-expansion and typechecking

Vaibhav Sagar – Yes, IHaskell Can Do That!

Fintan Halpenny – Bowl Full of Lentils

Aditya Siram – A Tase Of ATS

Ward Wheeler – Phylogenetic Software in Haskell

Igor Trindade Oliveira – Type Driven Secure Enclave Development using Idris

David Christiansen – Bidirectional Type Checking

Chris Smith – Teaching the intersection of mathematics and functional programming

Brandon Kase – Fast Accumulation on Streams

James Koppel – The Best Refactoring You’ve Never Heard Of

Allister Beharry – Using Dependent Types in an F# DSL for Linear Algebra

Diego Balseiro – Bridge Haskell and ReasonML in Production

Follow @composeconf on Twitter: https://twitter.com/composeconf

On freenode irc, chat with fellow attendees at #composeconference

Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct

Email us with any questions at info@composeconference.org

Please forward this announcement to interested parties and lists.