1688 shaares
869 private links
869 private links
A nice textbook on programming language and type theory. I use it as a supplement material of Types and Programming Languages.
A nice textbook on programming language and type theory. I use it as a supplement material of Types and Programming Languages.
