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
-
Conference Registration:
https://www.eventbrite.com/e/new-york-compose-2019-tickets-56751182314