Não conheço os livros que você mencionou. Os livros de Benjamin Pierce,
Types and Programming Languages e
Basic Category Theory for Computer Scientists, são textos padrões na área deles. Alem de
TaPL ser bem acessível por um auto-didático, há recursos na internet e mailing lists que oferecem apoio. A linguagem usada para as implementações é SML. Ainda não tive tempo para encarar o livro de Category Theory.