Hacker News new | past | comments | ask | show | jobs | submit login
A Theory of Type Polymorphism in Programming (1977) [pdf] (ed.ac.uk)
48 points by alokrai 23 days ago | hide | past | web | favorite | 6 comments

If you find this interesting, you should give the paper "Basic Polymorphic Typechecking" by Luca Cardelli a read[0]. It's probably the clearest explanation I've read of how parametric polymorphism and type inference works (spoiler: typechecking is actually the same thing as type inference in this model).


Also, FWIW, "Automatic Type Inference via Partial Evaluation" https://users.soe.ucsc.edu/~cormac/papers/ppdp05.pdf

By one of the designers on the Modula-3 team.

I love reading this kind of stuff. Is there any decent site that compiles papers and books about topics like this that are worth reading?

So a really really good book in starting in this area is Types and Programming Languages by Benjamin Pearce

Try this site for PL guys http://lambda-the-ultimate.org/

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact