This book will teach you how to program in the yab programming language, one of the main platforms for writing applications for the Haiku Operating System. A major use for yab is to create a graphical front-end for something you would otherwise do in Terminal.

This book is a comprehensive introduction to D Programming Language. It covers all aspects of the language (such as expressions, statements, types, functions, contracts, and modules), but it is much more than an enumeration of features.

This series is for people who are interested in computer programming because it's fun. It uses the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.

This book is the official book about the language, giving a solid base for any programmer who wants to use Lua. It covers all aspects of Lua 5 - from the basics to its API with C - explaining how to make good use of its features with code examples.

This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq code changes.

This book is both a comprehensive introduction to Qi and to functional programming, covers foundational material and explores the theoretical foundations of Qi, including lambda calculus, type theory and logic programming, etc.