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.
Singing about the Dark Times
Two members of an obscure community are reported missing. As Arwin investigates, he begins to suspect that his brother Max may be implicated. Unbeknownst to Arwin, their mother Grace suspects far more than she's telling. Will Arwin find the missing Monogs? Will Grace come clean before she dies? Will Max and Lucy's daughter Siloen trap the shadowy sheep stalker? Will Max and Goode's son Salvador finish piling polythene bags? Will the hot air balloon carry Max away from Goode? Will Lucy welcome Max with more than her bed? Will Siloen or Salvador win the competition? Will Arwin's bicycle survive the Great Glen? Will Beth and Arwin find love amongst the test tubes? The answers to all these irrelevancies may be glimpsed in this tumbling tale of singing and silences, secrets and deaths, set in the Scottish highlands in the not so near future. Singing About the Dark Times is the sequel to The Wave Singer (Argyll, 2008), and was written with Scottish Arts Council support.
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.
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.
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.
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.
Trends in Functional Programming
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.
