3 ms·Type Theory Forall: Bringing Programming Languages Research Outside Academia2 points by matt_d 6y ago