DESIGN AND ANALYSIS OF PURELY FUNCTIONAL PROGAMS

whereas the former puts forth recursion, the latter obscures it because of the inherent verbosity of XML. By learning first an abstract functional language, and then XML, we hope for a transfer of skills towards the design and implementation in XSLT without mediation. This book differs from traditional textbooks in that it does not cover many algorithms and data structures, nor many programming language features, nor does it present the most advanced analytic methods. Instead, its originality lies in constantly tying functional programming, cost analysis, proofs and implementation. As such, it is an eclectic companion for other readings, suitable for different courses, like functional programming, formal logic and analysis of algorithms.