Practical aspects of declarative languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings / [electronic resource] :
PADL 2010
edited by Manuel Carro, Ricardo Pena.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
- 1online resource (296 pages) : illustrations, digital.
- Lecture notes in computer science, 5937 0302-9743 ; .
9783642115035
Declarative programming languages--Congresses.
Declarative programming--Congresses.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.