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


Sound Synthesis in the Computational Crucible

Andrew Sorensen Permalink


Your first Haskell app

Andrew McCluskey Permalink


From JavaScript to PureScript

Rahul Trikha Permalink


React: JS vs ClojureScript

Pei Shi Yong Permalink


Type Class: The Ultimate Ad Hoc

George Wilson Permalink


BioShake: A Haskell EDSL for Bio-Informatics Pipelines

Justin Bedő Permalink


FP in Aviation

Tony Morris Permalink


Re-ops, a Functional Live-Infrastructure as Code

Ronen Narkis Permalink


The Why and How of ReasonML

Keira Hodgkison Permalink


Reactive Streams for REA feeders

Luke Stephenson Permalink


Domain-Specific Type Error Diagnosis in GHC

Jurriaan Hage Permalink


Grenade - Dependently Typed Neural Networks in Haskell

Huw Campbell Permalink