00499nam a2200133Ia 4500008004100000020002200041041001200063100002200075245004700097260003200144440003800176650002100214650013000235231221s9999 xx 000 0 und d a978-3-540-31685-5 aEnglish aPascal Hentenryck 0aPractical Aspects of Declarative Languages c2005bSpringer USaNew York aLecture Notes in Computer Science aComputer Science aProgramming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering