3 ms·

I also found his talk fascinating, but the paper he referred to was a bit unapproachable for me. Any suggestions for resources that could help get me more comfo

I also found his talk fascinating, but the paper he referred to was a bit unapproachable for me. Any suggestions for resources that could help get me more comfortable with reading and understanding type calculi?

zeckalpha 13y ago
Here's the Milner paper which describes ML's type system. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67.5276&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67.... Wikipedia also helps: https://en.wikipedia.org/wiki/Type_rules https://en.wikipedia.org/wiki/Type_rules
gruseom 13y ago
Pierce's book (the standard text) is surprisingly readable, at least compared to what I expected.