This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject.

NEW YORK TIMES BESTSELLER • The groundbreaking investigation of how the global elite's efforts to "change the world" preserve the status quo and obscure their role in causing the problems they later seek to solve. An essential read for understanding some of the egregious abuses of power that dominate today’s news. "Impassioned.... Entertaining reading.” —The Washington Post Anand Giridharadas takes us into the inner sanctums of a new gilded age, where the rich and powerful fight for equality and justice any way they can—except ways that threaten the social order and their position atop it. They rebrand themselves as saviors of the poor; they lavishly reward “thought leaders” who redefine “change” in ways that preserve the status quo; and they constantly seek to do more good, but never less harm. Giridharadas asks hard questions: Why, for example, should our gravest problems be solved by the unelected upper crust instead of the public institutions it erodes by lobbying and dodging taxes? His groundbreaking investigation has already forced a great, sorely needed reckoning among the world’s wealthiest and those they hover above, and it points toward an answer: Rather than rely on scraps from the winners, we must take on the grueling democratic work of building more robust, egalitarian institutions and truly changing the world—a call to action for elites and everyday citizens alike.

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.

A groundbreaking look at why our interactions with others hold the key to success, from the bestselling author of Think Again and Originals For generations, we have focused on the individual drivers of success: passion, hard work, talent, and luck. But in today’s dramatically reconfigured world, success is increasingly dependent on how we interact with others. In Give and Take, Adam Grant, an award-winning researcher and Wharton’s highest-rated professor, examines the surprising forces that shape why some people rise to the top of the success ladder while others sink to the bottom. Praised by social scientists, business theorists, and corporate leaders, Give and Take opens up an approach to work, interactions, and productivity that is nothing short of revolutionary.

What do the airplane, the escalator, the vacuum cleaner, and the Polaroid camera have in common? It took many, many attempts to perfect these inventions. But the people who invented them persevered and did not give up on their ideas. With TIME For Kids content, this nonfiction book will engage students in reading about inventions as they build their comprehension, vocabulary, and literacy skills. The Reader's Guide and culminating activity direct students back to the text as they develop their higher-order thinking skills. Check It Out! provides resources for additional reading and learning. With text features such as a glossary, index, and table of contents, this book aligns with national and state standards and will keep students engaged in reading.

Since the beginning of time, inventors have been coming up with new ideas. But many of them did not necessarily get it right on their first attempts. Far from it! Invention is a process of trial and error. Learn how the inventors in this book kept trying until they finally succeeded. Featuring TIME For Kids content, this 6-Pack of nonfiction readers includes clear, informational text, stimulating facts, and detailed photos and sidebars to engage students as they build their critical literacy skills. The Reader's Guide, Dig Deeper, and Try It! sections prompt students to connect back to the text, and provide extensive language-development activities that will develop critical thinking. The books include text features such as a table of contents, glossary, and an index to increase understanding and improve academic vocabulary. Aligned with state and national standards, this text prepares students for college and career. This 6-Pack includes six copies of this title and a lesson plan.

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.