|
Nov. 19th, 2008|02:10 pm |
Начал читать. Может потому что вечер, но на данной фразе стек в мозгу явно переполнился...
Книга сосредоточена на использовании систем типов в языках программирования, за счет некоторых тем (например, денотационной семантики), которые, вероятно, были бы включены в более ма- тематически ориентированный текст по типизированным лямбда-исчислениям. |
|