News for hackers. Stuff that matters.
Re:Where Do Type Systems Come From? by stepik777 on Friday July 07, 2017 @07:43PM (#14723141)
There is an official book which is very well written. I remember that I started to read it several years ago and was surprised that I actually can understand most of the things.

There are no comments on this comment yet.