BOB 2021 Lars Hupel - Theorems for free
clojureD 2020: "Programmation en Clojique" by Lars Hupel
Typelevel's Road to Scala 3 by Lars Hupel
Lars Hupel - Typelevel's Road to Scala 3
Scala Love in the City 2021
Prof. Philip Wadler | Interpreters for Free
Explaining "theorems for free" and parametricity, for practicing programmers. With code in Scala
Constructive Bidirectional Programming - Zhenjiang Hu | Lambda Days 2021
Theorems for free (EN) - INNOQ Technology Day
DC³ Conference - From Cryptocurrencies to CBDCs - Central Bank Digital Currency Track
The swiss army knife of generic programming: shapeless's TypeClass type class in action
Funktionale Programmierung, DDD und Architektur mit Mike Sperber
⩧ ≅ ≡: Leibniz Equality is Isomorphic to Martin-Löf Identity, Parametrically
Natan Silnitsky - Greyhound - Powerful Pure Functional Kafka library
The Haskell Unfolder Episode 12: parametricity
Philip Wadler gives a guest lecture Propositions-as-types. 2021 03 26
Alex Nedelcu - OOP versus Type Classes in Scala
TIAP Tom Schrijvers - GADTs Meet Their Match
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
Philip Wadler - Update on PLFA
