Counterexamples in type systems (2021)

Type systems are leaky abstractions: the case of Map.take!/2

The Big Oops in type systems: This problem extends to FP as well

Moving Beyond Type Systems