Pi-Forall: How to use and implement a dependently-typed language

Dr. Stephanie Weirich Permalink

Robots on Haskell

Anthony Cowley Permalink

Type providers and error reflection in Idris

David Christiansen Permalink

The code from my #ComposeConf talk is at https://t.co/QoG5EfGuU6

— David Christiansen (@d_christiansen) January 31, 2015

Modules and Abstraction in Functional Programming

Chris Martens Permalink

here are the slides from my #ComposeConf talk on modules! https://t.co/UuD93EsMqx

— chrisamaphone (@chrisamaphone) January 31, 2015

The F# Approach to Relaxation

Don Syme Permalink

LVars: lattice-based data structures for deterministic parallel and distributed programming

Lindsey Kuper Permalink

Slides from my talk on LVars at @composeconf today: https://t.co/2Ow6wGCgmK. Thanks to everyone at #composeconf for being a great audience!

— Lindsey Kuper (@lindsey) January 31, 2015

Managing Bioinformatics Pipelines Within OCaml

Sebastien Mondet Permalink

My slides for #ComposeConf are there: http://t.co/zXXsSGmzOO

— Sebastien Mondet (@smondet) January 31, 2015

Functional Programming at Bloomberg

Maxime Ransan Permalink

Proving things about Biology

Samin Ishtiaq Permalink

elm-d3: Front-end Development Without Frameworks

Spiros Eliopoulos Permalink