Filter by
Advanced topics in types and programming languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
- Edition
- -
- ISBN/ISSN
- 9780262281591
- Collation
- 1 online resource (xiii, 574 pages) :illustrations
- Series Title
- -
- Call Number
- -
The Definition of Standard ML (Revised Edition)
"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with …
- Edition
- -
- ISBN/ISSN
- 9780262287005
- Collation
- 1 online resource (xiii, 114 pages) :illustrations
- Series Title
- -
- Call Number
- -
The Development of speech perception: the transition from speech sounds to sp…
This comprehensive collection of current research in the development of speech perception and perceptual learning documents the striking changes that take place both in early childhood and throughout life and speculates about the mechanisms responsible for those changes. The findings reported from this rich and active field address the role of growing linguistic knowledge and experience and dem…
- Edition
- -
- ISBN/ISSN
- 9780262274081
- Collation
- 1 online resource (xii, 351 pages) :illustrations
- Series Title
- -
- Call Number
- -
Parallel programming using C++
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 058503785X
- Collation
- 1 online resource (xxxiv, 758 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The connectives
A comprehensive investigation of the sentence connectives--and, or, if, not--with special attention to their logical properties.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262298834
- Collation
- 1 online resource (xvii, 1492 pages)
- Series Title
- -
- Call Number
- -
Data-parallel programming on MIMD computers
Data-Parallel Programming demonstrates that architecture-independent parallel programming is possible by describing in detail how programs written in a high-level SIMD programming language may be compiled and efficiently executed-on both shared-memory multiprocessors and distributed-memory multicomputers.MIMD computers are notoriously difficult to program. Data-Parallel Programming demonstrates…
- Edition
- -
- ISBN/ISSN
- 9780262288484
- Collation
- 1 online resource (xiv, 231 pages) :illustrations.
- Series Title
- -
- Call Number
- -
De Lingua Belief
"A Bradford book."An investigation into the beliefs speakers have about language-their de lingua beliefs-that examines the genesis of these beliefs and the central explanatory role they play in the use and understanding of language.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262257770
- Collation
- 1 online resource (viii, 179 pages)
- Series Title
- -
- Call Number
- -
Types and tokens: On abstract objects
A consideration of the distinction between the spatiotemporal furniture of the world (tokens) and the types of which they are instances, and an argument that types exist. There is a widely recognized but infrequently discussed distinction between the spatiotemporal furniture of the world (tokens) and the types of which they are instances. Words come in both types and tokens—for example, th…
- Edition
- -
- ISBN/ISSN
- 9780262259279
- Collation
- 1 online resource (xvi, 180 pages) :illustrations
- Series Title
- -
- Call Number
- -
Perception, cognition, and language :essays in honor of Henry and Lila Gleitman
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262316088
- Collation
- 1 online resource (x, 360 pages) :illustrations
- Series Title
- -
- Call Number
- -
Performance and evaluation of Lisp systems
This final report of the Stanford Lisp Performance Study, conducted over a three year period by the author, describes implementation techniques, performance tradeoffs, benchmarking techniques, and performance results for all of the major Lisp dialects in use today. A popular highlevel programming language used predominantly in artificial intelligence, Lisp was the first language to concentrate …
- Edition
- -
- ISBN/ISSN
- 9780262256193
- Collation
- 1 online resource (xiv, 285 pages).
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography