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).

http://lucacardelli.name/Papers/BasicTypechecking.pdf


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

Search: