Type Systems You Might Not Know (But Will Love) (via abhin4v) — discussion

#plt #video