Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / [electronic resource] :
edited by Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5161 0302-9743 ; .
9783540880592
Computer science Software engineering Information theory Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Mathematical Logic and Formal Languages Theory of Computation Models and Principles