We would have liked to include more material and more remarks of an expository nature, and more references to other people's related work, but we had a hard limit of 12 pages.
Set your browser to use UTF-8 encoding to be able to properly see the mathematical symbols.
(This was mentioned in the paper but omitted for lack of space.)
Functional programmers with less mathematical background should probably start from those posts.
The Corrected version of the paper as documented in the errata.