Typo fixes.
Publish article on ICFP 2014.