Claudio Russo, Neng-Fa Zhou Practical Aspects of Declarative Languages - 2012 ISBN: 978-3-642-27694-1 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science