Practical aspects of declarative languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings - PADL 2010 (2010 : Madrid, Spain); Carro, Manuel; Pena, Ricardo; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Declarative programming languages -- Congresses; Declarative programming -- Congresses; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters