Bob Conference Archive – Haskell

This archive holds all talks from previous Bob conferences about Haskell and related languages like PureScript and Elm.

English

• Testing monadic programs using QuickCheck and state machine based models
  Stevan Andjelkovic, Talk at Bob 2018, english
• Functional Reactive Programming
  Heinrich Apfelmus, Talk at Bob 2016, english
• Delta encodings help separate business logic from database operations
  Heinrich Apfelmus, Talk at Bob 2023, english
• Verdict - Reified refinement
  Julian Arni, Talk at Bob 2016, english
• The Future of Front-end Development: A comparison
  Alexander Thiemann, Talk at Bob 2017, english
• Model-Based Testing with QuickCheck
  Arnaud Bailly, Talk at Bob 2024, english
• Inspection Testing
  Joachim Breitner, Talk at Bob 2019, english
• A Functional Reboot for Deep Learning
  Conal Elliott, Talk at Bob 2019-summer, english
• How I Design Programs
  Jeremy Gibbons, Talk at Bob 2021, english
• Applications of Datatype Generic Programming in Haskell
  Sönke Hahn, Talk at Bob 2016, english
• What is Functional Reactive Programming?
  Tikhon Jelvis, Talk at Bob 2020, english
• Performance and Safety: an Example of using Liquid Haskell in the Real World
  Philipp Kant, Talk at Bob 2017, english
• io-sim: testing, simulating, and prototyping concurrent programs in Haskell
  Philipp Kant, Talk at Bob 2022, english
• Designing Applications with Pluggable Layers Using Polymorphism
  Philipp Kant, Talk at Bob 2019, english
• Functional Programming and the Web: Frontend Development in PureScript
  Michael Karg, Jürgen Nicklisch-Franken, Talk at Bob 2016, english
• Keynote: High-Peformance Haskell
  Gabriele Keller, Talk at Bob 2019, english
• Self-Documenting Computation
  Olaf Klinke, Talk at Bob 2020, english
• The Lessons of 14 Years of Open Source Haskell
  Albert Krewinkel, Talk at Bob 2020, english
• Haskell ❤️ Lua
  Albert Krewinkel, Talk at Bob 2022, english
• Purely functional distributed programming for collaborative applications
  Adriaan Leijnse, Talk at Bob 2019-summer, english
• A Nokia 3310 Ringtone Player in Elm
  Ju Liu, Talk at Bob 2020, english
• An Enigma Machine in Elm
  Ju Liu, Talk at Bob 2022, english
• Structuring effectful programs
  Andres Löh, Talk at Bob 2022, english
• Type the web with Servant!
  Andres Löh, Talk at Bob 2016, english
• Write one program, get two (or three, or many)
  Andres Löh, Talk at Bob 2017, english
• Abstraction and program design, or the power of parametricity
  Andres Löh, Talk at Bob 2025, english
• Structuring effectful programs
  Andres Löh, Talk at Bob 2023, english
• ImplicitCAD: Haskell all of the Things
  Julia Longtin, Talk at Bob 2020, english
• Advanced functional programming in industry
  José Pedro Magalhães, Talk at Bob 2015, english
• Writing a native Mac GUI application in Haskell
  Nikolas Mayr, Talk at Bob 2017, english
• Raspberry Pi, Reflex and Haskell
  Tristan McLeay, Talk at Bob 2021, english
• Clutching a grip on AUTOSAR using Haskell
  Johan Nordlander, Talk at Bob 2015, english
• Show case: STG backend for Idris2
  Andor Penzes, Talk at Bob 2021, english
• Servant vs. Mu: A Type-Level Battle
  Alejandro Serrano Mena, Talk at Bob 2021, english
• Expressive Linear Algebra in Haskell
  Henning Thielemann, Talk at Bob 2019-summer, english
• Leveraging Algebraic Data Types
  Franz Thoma, Talk at Bob 2020, english
• Functional Design Patterns
  Franz Thoma, Talk at Bob 2019-summer, english
• Applicative DSLs
  Franz Thoma, Talk at Bob 2019, english
• Wire Once, Rewire Twice
  Eric Torreborre, Talk at Bob 2019, english
• Liquidate your Assets
  Niki Vazou, Talk at Bob 2019-summer, english
• New Hasql - a native Haskell Postgres driver faster than C
  Nikita Volkov, Talk at Bob 2018, english
• Dependent Types in Haskell
  Stephanie Weirich, Talk at Bob 2019-summer, english
• Finite-state machines? Your compiler wants in!
  Oskar Wickström, Talk at Bob 2018, english
• Cleaning the big picture
  Christina Zeller, Talk at Bob 2019-summer, english

German

• Mit Monaden die Zukunft im Blick
  Joachim Breitner, Talk at Bob 2016, german
• Elm im produktiven Einsatz
  Gregor Große-Bölting, Talk at Bob 2016, german
• Der Widerspenstigen Zähmung - Funktionale Programmierung in einer kleinen Firma
  Raichoo Ketchum, Talk at Bob 2017, german
• Ist das ein Graph oder kann das weg? Funktionales Deep Learning in Haskell
  Raoul Schlotterbeck, Talk at Bob 2023, german
• Shell-Scripting mit Haskell
  Franz Thoma, Talk at Bob 2017, german