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