I admire the combination of theoretical audacity and sweeping pragmatism taken by the authors of that paper. They mention Oz a few times. I am big fan of "Con

I admire the combination of theoretical audacity and sweeping pragmatism taken by the authors of that paper. They mention Oz a few times. I am big fan of "Concepts, Techniques, and Models of Computer Programming" by Van Roy and Haridi, which shows the reader how different computing paradigms can be constructed from a kernel language in Oz. That makes the text something of a kindred spirit to the paper, insofar as it tries to aid the student in grasping many different paradigms of computation (functional, object-oriented, concurrent, and relational are covered).