Programm 2017

Keynote: Why Functional Programming Matters

Introductory Haskell

Funktionale Programmierung mit Swift

Und wer testet die Tests? - Mutationstesten mit PIT

The Future of Front-end Development: A Comparison

Shell-Scripting mit Haskell

Synergy of IoT and BPM

Introduction to Web Programming in PureScript

Immutable Hash Maps: Plenty of room at the bottom

Performance and Safety: an Example of using Liquid Haskell in the Real World

Bayadera: Bayes + Clojure + GPU

Writing a native Mac application in Haskell

React.js and Redux

Einführung in QuickCheck

Functional package management with GNU Guix for developers and power users

Write one program, get two (or three, or many)

Der Widerspenstigen Zähmung - Funktionale Programmierung in einer kleinen Firma

Graph databases - why and how

Einführung in Agda

An introduction to Servant

The Hidden Nature of Data

Privacy-first data structures on SAFE