And he was important in the history of programming language theory, as an influence on Alan Kay (so Kay has said in talks - see YouTube passim).