A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming. The book shows how to implement a relational programming language in Scheme, or in any other functional language, and demonstrates the remarkable flexibility of the ...

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks...

A new edition of a textbook that provides students with a deep, working understanding of the essential concepts of programming languages, completely revised, with significant new material.This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, and the text uses interpreters (short programs that directly analyze an abstract re...

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way...

A highly accessible, step-by-step introduction to deep learning, written in an engaging, question-and-answer style.The Little Learner introduces deep learning from the bottom up, inviting students to learn by doing. With the characteristic humor and Socratic approach of classroom favorites The Little Schemer and The Little Typer, this kindred text explains the workings of deep neural networks by constructing them incrementally from first ...

When Buck Schatz, senior citizen and retired Memphis cop, learns that an old adversary may have escaped Germany with a fortune in stolen gold, Buck decides to hunt down the fugitive and claim the loot. But a lot of people want a piece of the stolen treasure, and Buck's investigation quickly attracts unfriendly attention from a very motley (and murderous) crew in Daniel Friedman's Don't Ever Get Old, nominated for an Edgar Award for Best First Novel.

The King of Chicago is the story of a father-son relationship as real and hugely loving as that in Philip Roth’s Patrimony. At its heart is a young son who tries furiously to heal his father from a violent childhood inside a Chicago orphanage. The orphanage, the Marks Nathan Home, still stands today on the West Side of Chicago, marked by a tarnished, barely legible plaque. Once home to 14,000 Jewish orphans, it is now just another barely remembered relic of a great city. ...

Politicians continually tell us that anyone can get ahead. But is that really true? This important, best-selling book takes readers behind the closed doors of elite employers to reveal how class affects who gets to the top.Friedman and Laurison show that a powerful 'class pay gap’ exists in Britain’s elite occupations. Even when those from working-class backgrounds make it into prestigious jobs, they earn, on average, 16% less than colleagues from privileged backgrounds. But why is...

This book focuses on markets organized as double auctions in which both buyers and sellers can submit bids and asks for standardized units of well-defined commodities and securities. It examines evidence from the laboratory and computer simulations.

For several decades, the orthodox economics approach to understanding choice under risk has been to assume that each individual person maximizes some sort of personal utility function defined over purchasing power. This new volume contests that even the best wisdom from the orthodox theory has not yet been able to do better than supposedly naïve models that use rules of thumb, or that focus on the consumption possibilities and economic constraints facing the individual.The authors ...

A publication of University 101 Programs, University of South Carolina, Transitions is the customized textbook for students in the University of South Carolina's University 101 first-year seminar. It includes both general and institution-specific information for first-year students.Topics include time management, academic success strategies, career development, information literacy, health and wellness, and values and identity. An ideal model for institutions working to de...

In the spring of 1905, members of an exclusive club of crime enthusiasts known as Our Society were taken on a guided excursion through Whitechapel, one of London’s most notorious districts, by Dr. Frederick Gordon Brown, the chief police surgeon for the City of London. But this was no ordinary sightseeing tour. The focus of the outing was Jack the Ripper’s reputed murder sites, and among the guests that day was Sir Arthur Conan Doyle, creator of the world’s greatest detective, Sherlock Hol...