004.43
П 337
Типы в языках программирования / Пирс Бенджамин; Бронников Георгий, Отт Алекс (пер. с англ.). — М. : Лямбда пресс : Добросвет, 2012. — XXIII, 655 с. : ил. — Пер. изд.: Types and programming languages / Pierce Benjamin C. Cambridge (Mass.); London : MIT press, cop. 2011. Библиогр.: с. 599-641. Предм. указ.: с. 643-655. — ISBN 978-5-7913-0082-9.