Hacker News new | past | comments | ask | show | jobs | submit login

This is by fellow who wrote the awesome book Concepts, Techniques, and Models of Computer Programming. It'll probably teach different models of computation via the Oz programming language, but I doubt it will go into the kind of theory you'd find in Types and Programming Languages.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact