Thriving in a Crowded and Changing World: C++ 2006–2020 [pdf]

Re:Thriving in a Crowded and Changing World: C++ 2006–2020 [... by gilch on Monday July 19, 2021 @02:08AM (#27879726)

I'd add an array language like APL or J to that list. Idris is worth mentioning, but maybe Curry+Coq cover that space. Maybe Icon too.

Concepts, Techniques, and Models of Computer Programming [1] with Mozart/Oz covers a lot of ground by itself.