You might want to consider for inclusion in this list in the "Programming Languages" section some more people:
Daniel P Friedman, a prominent programming language researcher as well as author of several books including The Little Schemer, The Seasoned Schemer, The Reasoned Schemer and Essentials of Programming Languages.
Matthias Felleisen, co-creator of the Racket programming language. He also came up with composable continuations (delimited continuations).
The Racket programming language is a programming language toolkit first and foremost and therefore tends to result in a lot of programming language research; the Racket team was also the first, I think, to come up with what they call "occurrence typing" which is elsewhere known as "flow typing". Clojure's core.typed borrows a lot from Typed Racket and they both influence each other.
You might want to consider for inclusion in this list in the "Programming Languages" section some more people:
Daniel P Friedman, a prominent programming language researcher as well as author of several books including The Little Schemer, The Seasoned Schemer, The Reasoned Schemer and Essentials of Programming Languages.
Matthias Felleisen, co-creator of the Racket programming language. He also came up with composable continuations (delimited continuations).
The Racket programming language is a programming language toolkit first and foremost and therefore tends to result in a lot of programming language research; the Racket team was also the first, I think, to come up with what they call "occurrence typing" which is elsewhere known as "flow typing". Clojure's core.typed borrows a lot from Typed Racket and they both influence each other.