Vikt�ria Zs�k, Zolt�n Horv�th, Lehel Csat�
Central European Functional Programming School
- Springer 2015
- Lecture Notes in Computer Science .
9783319159409
Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs