Bob Conference Archive – 2019-summer

This archive holds all talks of Bob 2019-summer.

---

English

• Statistical testing of software
  Stevan Andjelkovic, Talk at Bob 2019-summer, english
• Programming as a Conversation: Type-driven Development in Action
  Edwin Brady, Talk at Bob 2019-summer, english
• A Functional Reboot for Deep Learning
  Conal Elliott, Talk at Bob 2019-summer, english
• Using Formal Methods to Eliminate Exploitable Bugs
  Kathleen Fisher, Talk at Bob 2019-summer, english
• Purely functional distributed programming for collaborative applications
  Adriaan Leijnse, Talk at Bob 2019-summer, english
• In Search of Software Perfection
  Xavier Leroy, Talk at Bob 2019-summer, english
• From idea to working product in 7 days
  Philipp Maier, Talk at Bob 2019-summer, english
• Scala Type Classes
  Alexey Novakov, Talk at Bob 2019-summer, english
• Expressive Linear Algebra in Haskell
  Henning Thielemann, Talk at Bob 2019-summer, english
• Types for Protocols
  Peter Thiemann, Talk at Bob 2019-summer, english
• Functional Design Patterns
  Franz Thoma, Talk at Bob 2019-summer, english
• Liquidate your Assets
  Niki Vazou, Talk at Bob 2019-summer, english
• Dependent Types in Haskell
  Stephanie Weirich, Talk at Bob 2019-summer, english
• Cleaning the big picture
  Christina Zeller, Talk at Bob 2019-summer, english

---

No German talks for this topic

---

Time travel to the conference website of 2019-summer