Language Deutsch English

Programm


8:00	Konferenz öffnet
9:00	Eröffnungsvortrag Jeremy Gibbons
	Vorträge		Tutorials
10:05	Pause vor den Talks		Event in, events out? Gerard Klijs	Haskell Bytes – A guided tour through the heap of a Haskell program Joachim Breitner
10:15	Theorems for Free Lars Hupel	Nach 20 Jahren Agilität - wird Achtsam das neue Agil? Markus Wittwer	Event in, events out? Gerard Klijs
11:00	Teepause
11:35	Teepause		Teepause
11:45	A gentle introduction to Stream Processing Nicolas Fränkel	darcs, because git won Raichoo Ketchum	Sylvester: computer-based math via F# meta-programming Allister Beharry	Funktionale Domänen-Modellierung in der Praxis Marco Emrich, Maik Figura
12:35	Lessons Learned: Architekturdokumentation mit arc42 Johannes Dienst	Logic Programming and Databases pukkamustard
13:20	Mittagessen
14:15	SIMD in higher level programming languages Matthias Wahl	Higher-Kinded Data Types By Example Chris Penner	Developing declarative and functional iOS apps with SwiftUI and Combine Max Tharr	D.A.R.E. more, F.E.A.R. less - Journaling for Tech People Cosima Laube
15:05	Pipes, Arrows, and the Universe Albert Schimpf	Servant vs. Mu: A Type-Level Battle Alejandro Serrano Mena
15:50	Teepause
16:15	Guarding your IO Boundaries Franz Thoma	React Performance Christoph Schmalhofer	Musical Patterns with TidalCycles Alexandra Cardenas	Combining `clojure.spec` with design recipes Diego Sanchez, Leandro Doctors
17:05	A Firewall for Your Radical Network Stefanie Schirmer	STG backend for Idris2 Andor Penzes	Musical Patterns with TidalCycles Alexandra Cardenas
18:00	Abschluss