Lucas Dohmen talks with Lars Hupel about Algebraic Design
<ul>
<li><a href="http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt">"The Expression Problem" by Philip Wadler</a></li>
<li><a href="http://learnyouahaskell.com/types-and-typeclasses#typeclasses-101">Type Classes in Haskell</a></li>
<li><a href="https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf">Conflict-free Replicated Data Types</a></li>
<li><a href="https://www.youtube.com/watch?v=D2TCuDXmyw4">Generative Testing: Properties, State and Beyond - Jan Stepien</a></li>
<li><a href="https://en.wikipedia.org/wiki/Timsort">Timsort</a></li>
<li><a href="https://github.com/github/scientist">Github's scientist library</a></li>
<li><a href="https://www.apress.com/gp/book/9781484238288">Practical TLA+</a></li>
<li><a href="https://www.manning.com/books/type-driven-development-with-idris">Type-Driven Development with Idris</a></li>
<li><a href="https://www.cl.cam.ac.uk/research/hvg/Isabelle/">Isabelle</a></li>
</ul>

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

Lucas Dohmen talks with Lars Hupel about Algebraic Design
<ul>
<li><a href="http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt" rel="noopener noreferrer">"The Expression Problem" by Philip Wadler</a></li>
<li><a href="http://learnyouahaskell.com/types-and-typeclasses#typeclasses-101" rel="noopener noreferrer">Type Classes in Haskell</a></li>
<li><a href="https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf" rel="noopener noreferrer">Conflict-free Replicated Data Types</a></li>
<li><a href="https://www.youtube.com/watch?v=D2TCuDXmyw4" rel="noopener noreferrer">Generative Testing: Properties, State and Beyond - Jan Stepien</a></li>
<li><a href="https://en.wikipedia.org/wiki/Timsort" rel="noopener noreferrer">Timsort</a></li>
<li><a href="https://github.com/github/scientist" rel="noopener noreferrer">Github's scientist library</a></li>
<li><a href="https://www.apress.com/gp/book/9781484238288" rel="noopener noreferrer">Practical TLA+</a></li>
<li><a href="https://www.manning.com/books/type-driven-development-with-idris" rel="noopener noreferrer">Type-Driven Development with Idris</a></li>
<li><a href="https://www.cl.cam.ac.uk/research/hvg/Isabelle/" rel="noopener noreferrer">Isabelle</a></li>
</ul>

Lars Hupel on Algebraic Design

Conversations about Software Engineering (CaSE) is a podcast for software engineers about technology, software engineering, software architecture, reliability engineering, and data engineering. The three of us regularly come together to discuss recent events or articles, exchange on our learnings, and reflect on our professional and personal experiences. Additionally our guest episodes feature engaging conversations with interesting people from the world of software engineering.

Share Lars Hupel on Algebraic Design

Sign up to save your podcasts

Lars Hupel on Algebraic Design

Lars Hupel on Algebraic Design

More shows like CaSE: Conversations about Software Engineering

Podcast SoftwareArchitekTOUR (iX/heise Developer)

The Changelog: Software Development, Open Source

Syntax - Tasty Web Development Treats

Latent Space: The AI Engineer Podcast