This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theore

This book constitutes the refereed proceedings of the 10th International Symposium on Functional and Logic Programming, FLOPS 2010, held in Sendai, Japan, in Ap

Summary Functional Programming in C++ teaches developers the practical side of functional programming and the tools that C++ provides to develop software in the

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March

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 p