C◦mp◦se :: Conference 2015 Summary


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

Modules and Abstraction in Functional Programming

Chris Martens Permalink

The F# Approach to Relaxation

Don Syme Permalink

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

Lindsey Kuper Permalink

Managing Bioinformatics Pipelines Within OCaml

Sebastien Mondet Permalink

Functional Programming at Bloomberg

Maxime Ransan Permalink

Proving things about Biology

Samin Ishtiaq Permalink

elm-d3: Front-end Development Without Frameworks

Spiros Eliopoulos Permalink