Programming

Programming By Induction http://boris.hypervolume.com/induction.pdf I translated a chapter from a russian programming book to english, it proves that any algorithm can be written in tail recursion, although they call it induction. I thought the material was so good that I translated it to English.