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, an

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. [1] https://www.goodreads.com/book/show/772585.Concepts_Techniques_and_Models_of_Computer_Programming https://www.goodreads.com/book/show/772585.Concepts_Techniqu...