Clik here http://specialrecommendations.space/?book=354043092X
Practical Aspects of Declarative Languages This title constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002. Among the topics addressed include: ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, and logic programming.