HaL8 - Haskell-Treffen

an der Universität Leipzig

Workshop am 21. Juni 2013

HaL8 - Haskell-Treffen

an der Universität Leipzig

Workshop am 21. Juni 2013















Eingeladener Vortrag:

Christian Höner zu Siederdissen: "ADPfusion: high-performance dynamic programming in Haskell"


ADPfusion is a library designed to provide a high-level environment for dynamic programming applications. Our aim is toward highly efficient, easily maintainable code that facilitates experimentation. Dynamic programs written using ADPfusion come close to well-optimized C code and tend to outperform other frameworks with similar goals by a large margin. We manage this feat without having to sacrifice read-ability or the safe environment that Haskell provides for the programmer.

In the talk, we will discuss some of the recent developments, including a simpler user interface, automatic code generation for backtracking, applications beyond context-free grammars, and performance improvements.


Simon Hengel: Behavior-Driven Development in Haskell - a tutorial introduction (pdf, notes)

Matthias Fischmann and Sönke Hahn: GHC Language Extensions (pdf)

Nils Bertschinger and Georg Martius: Von Monaden zu Applikativen Funktoren (pdf)

09.00 - 10.30 Uhr

10.30 - 11.00 Uhr


Alexander Kiel: Datomic - A Functional Data Base (pdf)

Henning Thielemann: Haskell-Überlebensratgeber (pdf)

Andres Löh: Type-Level Programming (pdf)

11.00 - 11.45 Uhr

12.30 - 14.00 Uhr


14.00 - 15.00 Uhr

Christian Höner zu Siederdissen: ADPfusion: high-performance dynamic programming in Haskell (pdf)

Joachim Breitner: Haskell und Debian (pdf)

Peter Simons: Managing the Haskell Dependency Hell with Nix (pdf)

Alexander Bau: Haskell zur Constraint-Programmierung (pdf)

Benny Höckner, Peter Sauer and Petra Hofstedt: Functional Programming with Pros and Cons (pdf)

16.00 - 17.00 Uhr

17.30 - 19.00 Uhr

Alexander Ulrich: Language-Integrated Querying für Haskell (pdf)

Sebastian Fischer: Darcs Concepts and Internals (pdf)

Heinrich Hördegen: A Portrait of the Engineer as a Haskell Programmer (pdf)

ab 19.30 Uhr


11.45 - 12.30 Uhr

Sebastian Aigner: Börsenprobleme Funktional (pdf)

Robert Giegerich and Helene Touzet: Algebraic Dynamic Programming 2.0 (pdf)

15.00 - 15.30 Uhr

15.30 - 16.00 Uhr


17.00 - 17.30 Uhr






08.30 - 09.00 Uhr

Registrierung vor dem Felix-Klein-Hörsaal (5. Etage)