Hacker News new | ask | show | jobs
by jmount 5049 days ago
He is one of the major experts on type systems: http://en.wikipedia.org/wiki/Robert_Harper_(computer_scienti...