A nice textbook on programming language and type theory. I use it as a supplement material of Types and Programming Languages.
programming
book
programming-language-theory
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community