MuniHac 2020: Lars Hupel - Theorems for Free
BOB 2021 Lars Hupel - Theorems for free
JOTB19 - Interview with Lars Hupel
MuniHac 2020: Richard Eisenberg - Partial Type Constructors
Lars Hupel über Shapeless
MuniHac 2020 Workshop: Andres Löh - Liquid Haskell
MuniHac 2020: Nicolas Wu - Persistence makes a Difference
MuniHac 2020: Jamie Willis - Exploring Parsley
MuniHac 2020 Workshop: Pepe Iborra - Let's write a Haskell Language Server Plugin
Explaining "theorems for free" and parametricity, for practicing programmers. With code in Scala
Theorems for Free from Separation Logic Specifications
Trees and Algebraic Data Types in a Nutshell
Relational parametricity. Why the paper "Theorems for Free" is hard to understand
Theorems for free (EN) - INNOQ Technology Day
Generalized Algebraic Data Types and Object-Oriented Programming
⩧ ≅ ≡: Leibniz Equality is Isomorphic to Martin-Löf Identity, Parametrically
Rearranging function in 'Theorems for free'
Parametricity, Functional Programming, Types by Tony Morris at #FnConf18
Theorems for Free for Free: Parametricity With and Without Types
BTD12: AI-Showcases I: KI-Größenempfehler für Mode
[Wadlerfest 2016] Philip Wadler: A List of Successes that has not yet Changed the World
You can’t read this sentence - A11y automation. Mauricio Palma. JS Fest 2019 Spring
Off the Deep End - Haskell on the JVM - Erlend Hamberg
Theorems for free (Teoremas gratis)
![[Wadlerfest 2016] Philip Wadler: A List of Successes that has not yet Changed the World](https://img.youtube.com/vi/7JXvOJm90o0/0.jpg)
