Lars Hupel on Algebraic Design

Lucas Dohmen talks with Lars Hupel about Algebraic Design

• "The Expression Problem" by Philip Wadler
• Type Classes in Haskell
• Conflict-free Replicated Data Types
• Generative Testing: Properties, State and Beyond - Jan Stepien
• Timsort
• Github's scientist library
• Practical TLA+
• Type-Driven Development with Idris
• Isabelle