On: Ask HN: Favourite resources for learning programming type theory?

[randomNumber7]

I enjoyed some papers of Luca cardelli (when I remember the name correctly). There is also one overview/introduction about dependent type systems he wrote.

This is all very theoretically heavy though.

[stephantul → randomNumber7]

Name is correct, thanks a lot, I'll check it out!