1. browse
  2. conferences
  3. bobkon
  4. 2025
  5. Talks #2

BOB Konferenz 2025

Talks #2

Full playlist: Video / Audio
Things We Never Told Anyone About Functional Programming
42 min

Things We Never Told Anyone About Functional Programming

Die Starre überwinden - Mit DDD zu geschmeidigem Code
47 min

Die Starre überwinden - Mit DDD zu geschmeidigem Code

OOP is dead, long live Object Orientation!
46 min

OOP is dead, long live Object Orientation!

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Against the (formal) method?
46 min

Against the (formal) method?

Abstraction and program design, or the power of parametricity
45 min

Abstraction and program design, or the power of parametricity

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Recursive Definitions in Lean
43 min

Recursive Definitions in Lean