4 ms·
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. Thi
by randomNumber7 2y ago
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 2y agoName is correct, thanks a lot, I'll check it out!