(Untitled)

[prijutme4ty]

А расскажите, что можно почитать про системы типов? И с уклоном в практику, и с уклоном в теорию, но не слишком зубодробительную

Comments

[triampurum]

- Types and Programming Languages (TAPL), by Pierce http://newstar.rinet.ru/~goga/tapl/ (rus)
- Practical Foundations for Programming Languages, by Robert Harper
- Software Foundations (Pierce)

[prijutme4ty]

Большое спасибо! Буду изучать.