News for hackers. Stuff that matters.
Re:Scala: sharp and gets things cut by zeckalpha on Monday October 07, 2013 @12:30PM (#6509342)
Here's the Milner paper which describes ML's type system. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67....

Wikipedia also helps: https://en.wikipedia.org/wiki/Type_rules

There are no comments on this comment yet.