Some book won’t give me any appetite to have. Reversely, I cannot help buying and placing some books on my shelf. Maybe you are interested in them, maybe not. Check out what I read and some online resources I like, leave your comments if you like them too.
- Automata, Language, Logic
- Introduction to Automata Theory, Languages, and Computation: brought by John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman. It’s one of my textbooks in Southeast Univ. The most comprehensive one for both beginners and researhers.
- Formal Syntax and Semantics of Programming Languages: from Ken Slonneger. I found it just now, here is its eversion. Seems interesting.
- Introduction to Functional Programming by John Harrison, actually it’s a lecture notes. this is the best one i have seen that explains how to move from lambda calcus to ML in a so simple way.