Книги — proof-carrying code

EN
Продвинутые темы в типах и языках программирования

Продвинутые темы в типах и языках программирования

A

Benjamin C. Pierce (editor)

Языки программирования