in Central European Functional Programming School, CEFP 2013 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 8606, Pages: 459-478 (20)
Conference
5Th Central European Functional Programming School (Cefp), Date: JUL 08-20, 2013, Location: Babes-Bolyai University, Faculty of Mathematics and Informatics, Cluj-Napoca, ROMANIA, Sponsors: Babes-Bolyai Univ, Cluj-Napoca, Romania, Eotvos Lorand Univ, Budapest, Hungary, Host: Babes-Bolyai University, Faculty of Mathematics and Informatics