Advanced topics in types and programming languages / Benjamin C. Pierce, editor. - xiii, 574 p. : ill. ; 24 cm. ISBN: 0262162288 LCCN: 2004057123 Subjects--Topical Terms: Programlama dilleri (Elektronik bilgisayarlar)Programming languages (Electronic computers) LC Class. No.: QA76.7 / .A36 2005