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, 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
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
* Please forward this announcement to interested parties and lists.
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.