Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
An Introduction to Functional Programming Through Lambda Calculus
Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.
The Wave Singer
More than a fantastical story of youth's journey to self-knowledge, 'The Wave Singer' is a captivating and challenging allegory for growing up in a harsh world of deceptive options.
Elementary Standard ML
Standard ML has become the principal teaching language for introducing functional programming. This textbook places emphasis on teaching the essential features of ML, with extensive practical examples, and is intended for undergraduates studying functional programming with Standard ML.
Mathematical Reasoning: The History and Impact of the DReaM Group
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.
Research Directions in Parallel Functional Programming
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some ways it is astonishing that such large systems work at all. But parallel programming is much, much harder. There are so many more things to go wrong. Debugging is a nightmare. A bug that shows up on one run may never happen when you are looking for it - but unfailingly returns as soon as your attention moves elsewhere. A large fraction of the program's code can be made up of marshalling and coordination algorithms. The core application can easil...
Computation and Its Limits
Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve, or try to solve, a myriad of problems, from the utterly trivial to the bafflingly complex. This book explains why it is possible to do computation and what the ultimate limits of it are, as understood by modern science.
Spin
When Gulf War veteran Jim Asher joins the Senate campaign of a California business magnate, his all-American dream world begins to collapse as he must face up to his excesses, his indiscretions, and the person he has unwillingly become.
Humour the Computer
You don't have to have a degree in computer science to enjoy this unique collection of funny stories, parodies, laughable true-life incidents, comic song lyrics, and jokey poems from the world of computing. Humour the Computer brings together a selection of some of the best computer-related humorous material culled from a variety of sources: news groups and FTP sites on the Internet, The New Yorker, Punch, New Scientist, BYTE, Datamation, Communications of the ACM, The Journal of Irreproducible Results, and many more. Among other topics, the 70-odd assorted writings embrace the impact of computing on our lives, hilarious hardware, silly software, first encounters with computing, computer companies that we love, programming pains, and absurd academia.
How the World Works
A sweeping history of the full range of human labor Few authors are able to write cogently in both the scientific and the economic spheres. Even fewer possess the intellectual scope needed to address science and economics at a macro as well as a micro level. But Paul Cockshott, using the dual lenses of Marxist economics and technological advance, has managed to pull off a stunningly acute critical perspective of human history, from pre-agricultural societies to the present. In How the World Works, Cockshott connects scientific, economic, and societal strands to produce a sweeping and detailed work of historical analysis. This book will astound readers of all backgrounds and ages; it will also will engage scholars of history, science, and economics for years to come.
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, debugging and tracing, and tools and programming techniques.
