3 ms·Type Theory Forall – Philip Wadler – Type Classes, Monads, Logic, Future of PL [video]2 points by matt_d 1y ago