Since its inception in 2005, Qi has generated great interest over the internet. Here for the first time is the hardcopy exposition of the language, remastered for the issue of Qi II in 2008. This second edition fixes the language standard for Qi. The book is both a comprehensive introduction to Qi and to functional programming. The first half of the book covers foundational material and is suitable for an undergraduate introduction to functional programming. The second half of the book explores the theoretical foundations of Qi, including lambda calculus, type theory and logic programming and concludes with Qi applications in computational logic and expert systems.
Title Functional Programming in QI
Author(s) Mark Tarver
Publisher: Upfront Publishing; 2nd Revised edition edition (October 1, 2008)
Hardcover/Paperback: 500 pages
Language: English
ISBN-10: 1844265498
ISBN-13: 978-1844265497
eBook: http://www.lambdassociates.org/Book/page000.htm
No comments:
Post a Comment