caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Compose Conference [New York, Jun 22 - 25, 2019] -- Tickets Available
@ 2019-06-08 20:03 Ashish Agarwal
  0 siblings, 0 replies; 1+ messages in thread
From: Ashish Agarwal @ 2019-06-08 20:03 UTC (permalink / raw)
  To: undisclosed-recipients:;

[-- Attachment #1: Type: text/plain, Size: 2546 bytes --]

Call for Participation
Compose Conference 2019
June 22 - 23 (Unconference)
June 24 -25 (Main Conference)
New York City, NY

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
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:

On freenode irc, chat with fellow attendees at #composeconference

Policies (diversity and anti-harassment):

Email us with any questions at

Please forward this announcement to interested parties and lists.

[-- Attachment #2: Type: text/html, Size: 3051 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-06-08 20:03 [Caml-list] Compose Conference [New York, Jun 22 - 25, 2019] -- Tickets Available Ashish Agarwal

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror
	git clone --mirror

Newsgroup available over NNTP:

AGPL code for this site: git clone public-inbox