Bob Conference Archive – 2022

This archive holds all talks of Bob 2022.

---

English

• Specification-driven design
  Joachim Breitner, Talk at Bob 2022, english
• Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
  Laura M Castro, Brujo, Talk at Bob 2022, english
• Python Gradual Typing: The Good, The Bad and the Ugly
  Ben Clifford, Talk at Bob 2022, english
• RustBelt: Securing the Foundations of the Rust Programming Language
  Derek Dreyer, Talk at Bob 2022, english
• io-sim: testing, simulating, and prototyping concurrent programs in Haskell
  Philipp Kant, Talk at Bob 2022, english
• Haskell ❤️ Lua
  Albert Krewinkel, Talk at Bob 2022, english
• An Enigma Machine in Elm
  Ju Liu, Talk at Bob 2022, english
• Structuring effectful programs
  Andres Löh, Talk at Bob 2022, english
• Categorical CPUs
  Sandy Maguire, Talk at Bob 2022, english
• Local-first Distributed Applications with REScala
  Ragnar Mogk, Talk at Bob 2022, english
• Compiling Anything to Categories
  Greg Pfeil, Talk at Bob 2022, english
• Composable UI Components
  Markus Schlegel, Talk at Bob 2022, english
• Event Sourcing without Responsibility
  Michael Sperber, Talk at Bob 2022, english

---

German

• Keeping CALM – Konsistenz in verteilten Systemen leichtgemacht
  Susanne Braun, Annette Bieniusa, Talk at Bob 2022, german
• Infrastructure as Code - Betrieb ohne Handarbeit
  Tim Digel, Talk at Bob 2022, german
• Hilfe, wir syncen!
  Lars Hupel, Lucas Dohmen, Talk at Bob 2022, german
• Event-getriebene Architekturen @ Allianz
  Annegret Junkere, Talk at Bob 2022, german
• Tiger kommt: Weglaufen!
  Dr. Gernot Starke, Talk at Bob 2022, german

---

Time travel to the conference website of 2022