|
|
|
|
|
| 8:00 Uhr |
Registration |
| 9:00 Uhr |
Keynote:
Languages We Love
Elise Huard
|
| |
Vorträge |
Tutorials |
| 10:05 Uhr |
Pause vor den Vorträgen |
Introductory Haskell
Matthias Fischmann, Andres Löh
|
Erlang Overview
Robby Raschke
|
| 10:15 Uhr |
Dynamic programming ...
Stefanie Schirmer
|
Front-end Development with React
Tony Tsui
|
| 11:00 Uhr |
Kaffeepause |
| 11:35 Uhr |
Kaffeepause |
| 11:45 Uhr |
Elm im produktiven Einsatz
Gregor Große-Bölting
|
Datatype Generic Programming in Haskell
Sönke Hahn
|
Einführung in Scala
Simon Ochsenreither
|
Verifikation mit Isabelle
Joachim Breitner
|
| 12:35 Uhr |
Clojure-Web-Applikationen für Beginner
Michael Vitz
|
Verdict - Reified refinement
Julian Arni
|
| 13:20 Uhr |
Mittagspause |
| 14:15 Uhr |
Mit Monaden die Zukunft im Blick
Joachim Breitner
|
Frontend Development in PureScript
Michael Karg, Jürgen Nicklisch-Franken
|
Programming REST APIs in Scala with Akka HTTP
Johannes Rudolph
|
Specification by Example
Nicole Rauch
|
| 15:05 Uhr |
Synchronisation und Immutability
Andreas Bernauer
|
Type the web with Servant!
Andres Löh
|
| 15:50 Uhr |
Kaffeepause |
| 16:20 Uhr |
Functional Reactive Programming
Heinrich Apfelmus
|
Type Classes for OO
programmers ...
Ivan Kusalic
|
An Introduction to Idris
Andres Löh
|
Introduction to web programming in PureScript
Matthias Fischmann
|
| 17:20 Uhr |
Funktionales Design mit Swift
Stefan Wehr
|
Secure instant messaging, functional ...
Hannes Mehnert
|
| 18:00 Uhr |
Abschluss |
