I found http://adam.chlipala.net/cpdt/html/Hoas.html http://adam.chlipala.net/cpdt/html/Hoas.html to be very useful. It looks like it was once a chapter of the

I found http://adam.chlipala.net/cpdt/html/Hoas.html http://adam.chlipala.net/cpdt/html/Hoas.html to be very useful. It looks like it was once a chapter of the book, but was replaced by the final chapter http://adam.chlipala.net/cpdt/html/ProgLang.html http://adam.chlipala.net/cpdt/html/ProgLang.html I found the first version much more useful so I'm posting it here for others.