4 ms·

Could you point to any good resources on this topic?

• ebingdom 5y ago
  The standard reference, if there is one, is Benjamin Pierce's "Types and Programming Languages" book.