OCaml Programming: Correct + Efficient + Beautiful
Michael R. Clarkson
Podkayne of Mars
Robert A. Heinlein
Beck v23[MonE]
Unknown
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...
Paul Hudak & Mark Jones
Across the Horizon in Our Minds
LadyKarai