3 ms·
Of course, if you find this article interesting, look at CTM (Peter Van Roy and Seif Haridi's _Concepts, Techniques, and Models of Computer Programming_ (http:/
by silentbicycle 17y ago
Of course, if you find this article interesting, look at CTM (Peter Van Roy and Seif Haridi's _Concepts, Techniques, and Models of Computer Programming_ (http://www.info.ucl.ac.be/~pvr/book.html) http://www.info.ucl.ac.be/~pvr/book.html)) The papers it links to are excerpts from the book.
One of the best books on programming I've ever seen, IMHO.