Bob Conference Archive – Workshops and tutorials
This archive holds all English language talks from Bob 2015 to Bob 2025.
English
-
Introduction to Web Development in Racket
Jesse Alama, Talk at Bob 2019, english -
Building highly available systems with Elixir: an introduction
Pierre Allix, Ilke Zilci, Talk at Bob 2023, english -
Sylvester: computer-based math via F# meta-programming
Allister Beharry, Talk at Bob 2021, english -
The K Framework: A tool kit for language semantics and verification
Jost Berthold, Talk at Bob 2024, english -
Introduction to TLA+
Annette Bieniusa, Talk at Bob 2020, english -
Scalable consistency for replicated data
Annette Bieniusa, Talk at Bob 2015, english -
Type-Level Programming in Haskell
Vitaly Bragilevsky, Talk at Bob 2019, english -
Lean for the Functional Programmer
Joachim Breitner, David Thrane Christiansen, Talk at Bob 2024, english -
Haskell Bytes – A guided tour through the heap of a Haskell program
Joachim Breitner, Talk at Bob 2021, english -
Live Coding with TidalCycles
Alexandra Cárdenas, Talk at Bob 2018, english -
Musical Patterns with TidalCycles
Alexandra Cardenas, Talk at Bob 2021, english -
Runtime Verification with the Copilot Language, A Hands-on Introduction
Frank Dedden, Talk at Bob 2024, english -
An FRP framework with two-way connections
Péter Diviánszky, Talk at Bob 2018, english -
From Vision to Code: (Functional) Domain Modeling in Practice
Marco Emrich, Leandro Doctors, Talk at Bob 2024, english -
ReasonReact for Type-Safe Web Apps
Marco Emrich, Talk at Bob 2020, english -
Functional Development with Kotlin
Torsten Fink, Talk at Bob 2023, english -
Introductory Haskell
Matthias Fischmann, Andres Löh, Talk at Bob 2016, english -
Introduction to web programming in PureScript
Matthias Fischmann, Talk at Bob 2016, english -
Introductory Haskell
Matthias Fischmann, Talk at Bob 2017, english -
Hedgehog - QuickCheck, but better
Matthias Fischmann, Talk at Bob 2018, english -
Introductory Haskell
Matthias Fischmann, Alexander Ulrich, Talk at Bob 2015, english -
Clojure, Getting Your Feet Wet
Nicolas Frankel, Talk at Bob 2019, english -
On the other side of the clouds
Heinz Gies, Talk at Bob 2015, english -
Functional Programming in TypeScript
Beat Hagenlocher, Talk at Bob , english -
Haskell Mobile development
Shane Hamilton, Talk at Bob 2025, english -
Introductory Haskell
Matthias Heinzel, Talk at Bob 2018, english -
Writing Hardware in Haskell
Matthias Heinzel, Talk at Bob 2019, english -
Reproducible data science with Clojure
Kira Howe, Talk at Bob 2025, english -
Tausend auf einen Streich: Einführung in QuickCheck
Lars Hupel, Talk at Bob 2017, english -
Build collaborative applications with Yjs
Kevin Jahns, Talk at Bob 2025, english -
Introduction to Web Programming in PureScript
Michael Karg, Talk at Bob 2017, english -
Event in, events out?
Gerard Klijs, Talk at Bob 2021, english -
Embracing Declarative Frontend Development with Signals and Streams
Mischa Koischwitz, Talk at Bob 2025, english -
Illegal States Are My Favorite Security Vulnerabilities (to Delete at Compile Time)
Michael Koppmann, Talk at Bob , english -
D.A.R.E. more, F.E.A.R. less - Journaling for Tech People
Cosima Laube, Talk at Bob 2021, english -
An Introduction to Idris
Andres Löh, Talk at Bob 2016, english -
Staging with Typed Template Haskell
Andres Löh, Talk at Bob 2022, english -
An introduction to Servant
Andres Löh, Talk at Bob 2017, english -
Staging Programs in Haskell
Andres Löh, Talk at Bob 2024, english -
Haskell Tutorial
Andres Löh, Talk at Bob , english -
A Tutorial on Liquid Haskell
Andres Löh, Talk at Bob 2018, english -
An Introduction to Doing Software Proofs in Agda
Sandy Maguire, Talk at Bob 2023, english -
MirageOS: building minimized special-purpose unikernels
Hannes Mehnert, Talk at Bob 2019, english -
Introduction to Riak
Christopher Meiklejohn, Talk at Bob 2015, english -
Functional Web Applications with Webmachine in Erlang
Christopher Meiklejohn, Talk at Bob 2015, english -
Programming with weak consistency, and Dartagnan
Roland Meyer, Thomas Haas, Talk at Bob 2025, english -
Parallelism without panic: a user’s guide to multicore safety in OCaml
Carine Morel, Talk at Bob , english -
Extending a Language - Writing Powerful Macros in Scheme
Marc Nieper-Wißkirchen, Talk at Bob 2023, english -
Two Scripts, One Story
Adebayo Opesanya, Talk at Bob 2019, english -
Agda by Example: Programming and Proving with Dependent Types
Peter Thiemann, Talk at Bob , english -
Generative Art in Haskell
quchen, Franz Thoma, Talk at Bob 2022, english -
Erlang overview
Robby Raschke, Talk at Bob 2016, english -
React.js and Redux
Nicole Rauch, Talk at Bob 2017, english -
Introduction to Erlang
Martin Rehfeld, Talk at Bob 2015, english -
Programming REST APIs in Scala with Akka HTTP
Johannes Rudolph, Talk at Bob 2016, english -
Combining clojure.spec with design recipes
Diego Sánchez, Lenadro Doctors, Talk at Bob 2021, english -
Computation Expressions in F#
David Schaefer, Ronald Schlenker, Talk at Bob 2024, english -
Domain Storytelling — Understanding Your Users by Drawing Pictures
Henning Schwentner, Talk at Bob 2023, english -
Functional Programming in Kotlin
Michael Sperber, Talk at Bob 2022, english -
Implementing Domain-Specific Langugages with Racket
Michael Sperber, Talk at Bob 2022, english -
Control Your Effects in Haskell
Michael Sperber, Talk at Bob 2020, english -
Introduction to Verification with the Coq Proof Assistant
Kathrin Stark, Talk at Bob 2022, english -
Introductory Swift
Wouter Swierstra, Chris Eidhof, Florian Kugler, Talk at Bob 2015, english -
Developing declarative and functional iOS apps with SwiftUI and Combine
Max Tharr, Talk at Bob 2021, english -
Terminal GUIs with Haskell: vty and brick
Franz Thoma, Talk at Bob 2018, english -
Functional 3D graphics for the browser in scheme
Théo Tyburn, Talk at Bob , english -
OpenTelemetry Workshop
Osher Vaknin, Talk at Bob 2023, english -
Introduction to Idris
Stefan Wehr, Talk at Bob 2020, english -
Superficial SQL Indexing
Markus Winand, Talk at Bob 2019, english -
Learn FP with Code Katas
İlke Zilci, Talk at Bob 2019, english
German
-
Graphical User Interfaces in Haskell with Threepenny
Heinrich Apfelmus, Talk at Bob 2018, german -
Mehr Konsistenz für replizierte Daten!
Anette Bieniusa, Talk at Bob 2017, german -
Einführung in Haskell
Erika Bor, Talk at Bob 2020, german -
Verifikation mit Isabelle
Joachim Breitner, Talk at Bob 2016, german -
Einführung in F#
Tim Digel, Talk at Bob 2020, german -
MAD-TDD - der Wahnsinn hat Methode
Marco Emrich, Ferdinand Ade, Talk at Bob 2025, german -
Funktionale Domänen-Modellierung in der Praxis
Marco Emrich, Mike Figura, Talk at Bob 2021, german -
Sechseckige Webseiten? Hexagonale Frontend-Architektur!
Marco Emrich, Sophia Cook, Talk at Bob 2023, german -
Funktionale Konzepte bei der Entwicklung von Benutzeroberflächen
Roger Gilliar, Talk at Bob 2015, german -
Workshops magisch machen mit Liberating Structures
Martin Günther, Talk at Bob 2024, german -
Einführung in Scala 3
Simon Härer, Talk at Bob 2022, german -
Web-Entwicklung mit Clojure
Thorsten Ludwig, Talk at Bob 2018, german -
Einführung in das Haskell-Web-Framework IHP
Bianca Lutz, Talk at Bob 2023, german -
$HOME Improvement mit Nix
Johannes Maier, Talk at Bob 2022, german -
Einführung in Scala
Simon Ochsenreither, Talk at Bob 2016, german -
Einführung in Agda
Peter Thiemann, Talk at Bob 2017, german -
EventStorming für Domain-Driven Design
Nicole Rauch, Talk at Bob 2018, german -
Specification by Example
Nicole Rauch, Talk at Bob 2016, german -
Unter der Haube - Barrierefreiheitsanforderungen an Software und IT-Systeme
Dr. Irmhild Rogalla, Alex Ackermann, Talk at Bob , german -
Makros in Clojure
Kaan Sahin, Talk at Bob 2022, german -
Just use Emacs!
Kaan Sahin, Talk at Bob 2022, german -
Resiliente Systeme entwickeln mit Elixir: Fehlertoleranz von Grund auf
Kaan, Talk at Bob 2025, german -
Ganz praktisch: Probabilistische Funktionen
Christoph-Schmalhofer, Talk at Bob 2020, german -
Vom Probabilistic Computing zum Quantum Computing und zurück
Christoph Schmalhofer, Talk at Bob 2022, german -
Einstieg in die Probabilistische Programmierung
Christoph Schmalhofer, Talk at Bob 2019, german -
Streifzug durch Clojure
Michael Sperber, Talk at Bob 2015, german -
Einführung in Agda
Peter Thiemann, Talk at Bob 2018, german -
Moderne typsichere Web-Entwicklung mit Haskell
Alexander Thiemann, Talk at Bob 2015, german -
Funktional-Reaktives Handwerk für Microservices: Ein Workshop mit Mutiny und Quarkus
Holger Tiemeyer, Talk at Bob , german -
Graphen@Problemlösen
Holger Tiemeyer, Talk at Bob 2020, german -
Die andere Art des Teamworks: Whole Team Ensemble Programming
Joshua Töpfer, Talk at Bob 2025, german -
Funktionale Programmierung mit Swift
Stefan Wehr, Talk at Bob 2017, german -
Schöne Dokumentation – nur mit Text
Benjamin Wolf, Talk at Bob 2025, german