Bob Conference Archive – 2025

This archive holds all talks of Bob 2025.

---

English

• Correct by Construction Concurrent Programs in Idris 2
  Guillaume Allais, Talk at Bob 2025, english
• Against the (formal) method?
  Arnaud Bailly, Talk at Bob 2025, english
• Functional data structures in Swift
  Manuel Chakravarty, Talk at Bob 2025, english
• Four Fascinating Programming Languages You've Probably Never Heard Of
  Lutz Hühnken, Talk at Bob 2025, english
• Property-Based Testing: The Past, The Present, and The Future
  Alperen Keles, Talk at Bob 2025, english
• Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
  Ziyang Liu, Talk at Bob 2025, english
• Abstraction and program design, or the power of parametricity
  Andres Löh, Talk at Bob 2025, english
• Between Monolith and Microfrontends - Advantages of a modulithic architecture and how an incremental refactoring can succeed
  Milena-Mercedes May, Talk at Bob 2025, english
• The Microservices Problem No One Warned Us About (And How You Can Avoid It)
  Ivett Ördög, Talk at Bob 2025, english
• A Language Server for your DSL for Fun and Profit
  Hannes Siebenhandl, Talk at Bob 2025, english
• Coverage-guided property-based testing
  Stevan A, Talk at Bob 2025, english
• Service-less communication: is it possible?
  Bartosz Sypytkowski, Talk at Bob 2025, english
• OOP is dead, long live Object Orientation!
  Franz Thoma, Talk at Bob 2025, english
• Beyond the Basics of LSP: Advanced IDE services for OCaml
  Xavier Van de Woestyne, Talk at Bob 2025, english

---

German

• Ein Weg zu hoher Zuverlässigkeit von Systemen eines Netzbetreibers
  Tim Digel, Talk at Bob 2025, german
• Die Starre überwinden - Mit DDD zu geschmeidigem Code
  Nicole Rauch, Martin Günther, Talk at Bob 2025, german

---

Time travel to the conference website of 2025