Robert Harper: 12 books

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead...

Believers have been "Called" into the position of Victory. We (I am a believer in Jesus Christ) cannot earn victory. It is our birthright! Far too many Christians struggle to attain victory when God has already given this victory to His children. This book is written so that the believer...

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary...

Shane Claiborne, Red Letter Christians Jim Daly, Focus on the Family Mark Galli, Christianity Today Lisa Sharon Harper, FreedomRoad.us Tom Lin, InterVarsity Christian Fellowship Karen Swallow Prior, Liberty University Soong-Chan Rah, North Park University Robert Chao Romero, UCLA Sandra Maria Van Opstal, Grace and Peace Community Allen Yeh, Biola University Mark Young, Denver Seminary

This volume is a continuation of our series exploring Saint Augustine’s influence on later thought, this time bringing the fifth century bishop into dialogue with 19th century philosopher, theologian, social critic, and originator of Existentialism, Soren Kierkegaard. The connections, contrasts,...

Edgar G. Ulmer: Detour on Poverty Row illuminates the work of this under-appreciated film auteur through 21 new essays penned by a range of scholars from around the globe. Ulmer, an immigrant to Hollywood who fell from grace in Tinseltown after only one studio film, became one of the reigning directors...

All Americans, liberal or conservative, religious or not, can agree that religious freedom, anchored in conscience rights, is foundational to the U.S. democratic experiment. But what freedom of conscience means, what its scope and limits are, according to the Constitution—these are matters for heated...

In the Civil War era, Americans nearly unanimously accepted that humans battled in a cosmic contest between good and evil and that God was directing history toward its end. The concept of God's Providence and of millennialism -- Christian anticipations of the end of the world -- dominated religious...

As this bestseller predicted, Trump has only grown more erratic and dangerous as the pressures on him mount. This new edition includes new essays bringing the book up to date—because this is still not normal. Originally released in fall 2017, The Dangerous Case of Donald Trump was a runaway...

CLASSIC SELF-HELP FROM A RESPECTED PIONEER OF PSYCHOTHERAPY ** ** Lost enough loves for three lifetimes? Want to break bad habits and replace them with good ones that last? Whether you are male or female, single or married, gay or straight, Rational-Emotive Behavior Therapy (REBT), created by world...

The first African American fraternities and sororities were established at the turn of the twentieth century to encourage leadership, racial pride, and academic excellence among black college students confronting the legacy of slavery and the indignities of Jim Crow segregation. With a strong presence...

The Code of Hammurabi is a well-preserved Babylonian code of law of ancient Mesopotamia, dated back to about 1754 BC (Middle Chronology). It is one of the oldest deciphered writings of significant length in the world. The sixth Babylonian king, Hammurabi, enacted the code. A partial copy exists on...