Sophia Drossopoulou - Holistic specifications for robust code

Builds on language design work with Mark Miller.

YOUTUBE d6w11OvJAzo This video was recorded at Code Mesh LDN 18