Talks

Propositions as Types
Keynote 57:00 Propositions as Types

Philip Wadler

Truth about Types
Keynote 1:12:00 Truth about Types

Bartosz Milewski

Muvr
Keynote 52:00 Muvr

Jan Macháček

The Zen of Akka
Keynote 50:00 The Zen of Akka

Konrad Malawski

On Language Design
Keynote 1:01:00 On Language Design

Robert Virding

Things that Matter
Talk 46:00 Things that Matter

Bruce Tate

The Mysteries of Dropbox
Talk 40:00 The Mysteries of Dropbox

John Hughes

A Board Game Night with Geeks
Talk 48:00 A Board Game Night with Geeks

Felienne Hermans

Phoenix: A Web Framework for the New Web
Talk 45:00 Phoenix: A Web Framework for the New Web

José Valim

Taming Cloud Complexity with F# DSLs
Talk 41:00 Taming Cloud Complexity with F# DSLs

Yan Cui

Modeling Your Domain
Talk 37:00 Modeling Your Domain

Norbert Wojtowicz

Making Property Based Testing Easier
Talk 28:00 Making Property Based Testing Easier

Laura M. Castro

C Preprocessor Macros from Functional Programs
Talk 23:00 C Preprocessor Macros from Functional Programs

Boldizsár Németh

Using an Actor Framework for Scientific Computing
Talk 24:00 Using an Actor Framework for Scientific Computing

Krzysztof Borowski

Purely Functional Web Apps
Talk 34:00 Purely Functional Web Apps

Michał Płachta

Elmrang Connect
Talk 44:00 Elmrang Connect

Claudia Doppioslash , Peer Stritzinger

Practical Demystification of CRDT
Talk 40:00 Practical Demystification of CRDT

Dmitry Ivanov , Nami Naserazad

The F#orce Awakens
Talk 41:00 The F#orce Awakens

Evelina Gabasova

Getting Started with Frege
Talk 48:00 Getting Started with Frege

Lech Głowiak

Building Reactive Services Using Functional Programming
Talk 37:00 Building Reactive Services Using Functional Programming

Rachel Reese

LFE: A Lisp Flavour on the Erlang VM
Talk 44:00 LFE: A Lisp Flavour on the Erlang VM

Robert Virding

History and Philosophy of Types
Talk 47:00 History and Philosophy of Types

Tomáš Petříček

Functional Reactive UI with JavaScript
Talk 36:00 Functional Reactive UI with JavaScript

Zaiste

A Brief History of Programming Languages
Talk 31:00 A Brief History of Programming Languages

Andrea Magnorsky

Embracing Change
Talk 16:00 Embracing Change

Artur Skowroński

Teaching Functional Programming to Noobs
Talk 49:00 Teaching Functional Programming to Noobs

Rob Martin

ACP and PGA
Talk 23:00 ACP and PGA

Andre van Delft

Functional Reactive Rust
Talk 35:00 Functional Reactive Rust

Eduard Bopp

Functional Reactive Programming
Talk 46:00 Functional Reactive Programming

Riccardo Terrell

Using Program Shaping and Algorithmic Skeletons to Parallelise
Talk 23:00 Using Program Shaping and Algorithmic Skeletons to Parallelise

Chris Brown

Creating Reactive Components Using ClojureScript React Wrappers
Talk 34:00 Creating Reactive Components Using ClojureScript React Wrappers

Konrad Szydlo