# Full schedule for Compose 2019 \[NYC, June 24-25\] now available

**URL:** https://discuss.ocaml.org/t/full-schedule-for-compose-2019-nyc-june-24-25-now-available/3829
**Category:** Community
**Created:** [May 20, 2019, 6:52pm UTC](https://discuss.ocaml.org/t/full-schedule-for-compose-2019-nyc-june-24-25-now-available/3829 "2019-05-20T18:52:57Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![gbaz](https://avatars.discourse-cdn.com/v4/letter/g/35a633/32.png) [@gbaz](https://discuss.ocaml.org/u/gbaz)
#### Post date: [May 20, 2019, 6:52pm UTC](https://discuss.ocaml.org/t/full-schedule-for-compose-2019-nyc-june-24-25-now-available/3829/1 "2019-05-20T18:52:57Z")

</div>

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. This year it has a host of great talks of interest to OCaml developers.

- 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, Alex Washburn, Callan McGill - 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

- Full abstracts: [http://www.composeconference.org/2019/program](http://www.composeconference.org/2019/program)

- Conference Registration:  
[https://www.eventbrite.com/e/new-york-compose-2019-tickets-56751182314](https://www.eventbrite.com/e/new-york-compose-2019-tickets-56751182314)