3 ms·

Beautiful comment. Care to recommend a textbook on formal type systems?

• YorkshireSeason 8y ago
  Depends on your background. For students who can program but are not mathematical, I recommend TAPL: https://www.cis.upenn.edu/~bcpierce/tapl/ I recommend implementing every typing single system in the book. If you come from a mathematical background, it might be too slow paced though. I'm not sure I have a good recommendation for somebody who starts out from a strong maths background.
  • throwawaymath 8y ago
    Is that related to this? https://softwarefoundations.cis.upenn.edu https://softwarefoundations.cis.upenn.edu
    • YorkshireSeason 8y ago
      Yes. IIRC Softwarefoundations grew out of a course the author of TAPL has been teaching at U Penn.