All Talks


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