Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: MIT Press Рейтинг: Цена: 107220.00 T Наличие на складе: Невозможна поставка. Описание:
A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Автор: Maiden Название: The Cambridge History of the Romance Languages ISBN: 0521800730 ISBN-13(EAN): 9780521800730 Издательство: Cambridge Academ Рейтинг: Цена: 146790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: What is the origin of the Romance languages and how did they evolve? When and how did they become different from Latin, and from each other? Volume 2 offers fresh and original reflections on the principal questions and issues in the comparative external histories of the Romance languages.
Автор: Suarez, Jorge A. Название: Mesoamerican indian languages ISBN: 0521296692 ISBN-13(EAN): 9780521296694 Издательство: Cambridge Academ Рейтинг: Цена: 47520.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: At least a hundred indigenous Indian languages are known to have been spoken in Mesoamerica, but it is only in the past fifty years that many of them have been adequately described. Professor Suarez draws together this considerable mass of scholarship in a general survey that will provide an invaluable source of reference.
Автор: G. M. H. Shoolbraid Название: The Oral Epic of Siberia and Central Asia (Uralic & Altaic) ISBN: 0700709118 ISBN-13(EAN): 9780700709113 Издательство: Taylor&Francis Рейтинг: Цена: 122490.00 T Наличие на складе: Невозможна поставка. Описание: Part of a series that offers mainly linguistic and anthropological research and teaching/learning material on a region of great cultural and strategic interest and importance in the post-Soviet era.
Автор: Sebeok, Thomas (Ed.) Название: Native Languages of the Americas Volume 1 (Softcover reprint of the original 1st ed. 1976) ISBN: 1475715617 ISBN-13(EAN): 9781475715613 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Thirteen of the chapters that comprise the contents of this first volume of Native Languages of the A mericas were originally commissioned by the undersigned in his capacity as Editor of the fourteen volume series (1963-1976), Current Trends in Linguistics.
Автор: Sebeok, Thomas (Ed.) Название: Native Languages of the Americas Volume 2 (Softcover reprint of the original 1st ed. 1977) ISBN: 1475715641 ISBN-13(EAN): 9781475715644 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Original ver- sions of five articles, respectively, by Barthel, Grimes, Longacre, Mayers, and Suarez, were first published in Part II of Current Trends in Linguistics, Vol. Linguistics in North America (1973) and the two by Kaufman and Rensch were in Part I I of Vol.
Автор: Ramsey, S Robert (Author) Название: The Languages of China ISBN: 069101468X ISBN-13(EAN): 9780691014685 Издательство: Wiley Рейтинг: Цена: 36960.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The description for this book, The Languages of China, will be forthcoming.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Asia and the Americas ISBN: 0521684943 ISBN-13(EAN): 9780521684941 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Asia and the Americas, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Europe ISBN: 0521684951 ISBN-13(EAN): 9780521684958 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Europe, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Asia Minor ISBN: 052168496X ISBN-13(EAN): 9780521684965 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Asia Minor, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Mesopotamia, Egypt and Aksum ISBN: 0521684978 ISBN-13(EAN): 9780521684972 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Mesopotamia, Egypt and Aksum, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Syria-Palestine and Arabia ISBN: 0521684986 ISBN-13(EAN): 9780521684989 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Syria-Palestine and Arabia, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz