Type Systems - The Good, Bad and Ugly (with Amanda Laucher)

This YouTube talk is overlaid with portable W3C Web Annotations connecting it to its canonical devreal.ai graph nodes.