10 ms·
He is one of the major experts on type systems: http://en.wikipedia.org/wiki/Robert_Harper_(computer_scientist) http://en.wikipedia.org/wiki/Robert_Harper_(comp
by jmount 14y ago
He is one of the major experts on type systems: http://en.wikipedia.org/wiki/Robert_Harper_(computer_scientist) http://en.wikipedia.org/wiki/Robert_Harper_(computer_scienti...