5 ms·

A Theory of Type Polymorphism in Programming (1977) [pdf]

• anaphor 7y ago
  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 http://lucacardelli.name/Papers/BasicTypechecking.pdf
  • carapace 7y ago
    Also, FWIW, "Automatic Type Inference via Partial Evaluation" https://users.soe.ucsc.edu/~cormac/papers/ppdp05.pdf https://users.soe.ucsc.edu/~cormac/papers/ppdp05.pdf
  • pjmlp 7y ago
    By one of the designers on the Modula-3 team.
• jplayer01 7y ago
  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?
  • flashgordon 7y ago
    So a really really good book in starting in this area is Types and Programming Languages by Benjamin Pearce
  • tempguy9999 7y ago
    Try this site for PL guys http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/