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