Robert Harper: Co-Designer of Standard ML and the Theorist Who Made Types the Foundation of Programming
In the world of programming language design, few contributions have been as quietly transformative as Standard ML. While mainstream developers debate the merits of dynamic versus static typing,…