TY - DATA AU - Horváth,Zoltán AU - Zsók,Viktória AU - Butterfield,Andrew ED - SpringerLink (Online service) TI - Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783540741305 AV - QA76.62 H67 2007 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Logic design KW - Computer Science KW - Programming Languages, Compilers, Interpreters KW - Programming Techniques KW - Logics and Meanings of Programs UR - http://dx.doi.org/10.1007/978-3-540-74130-5 ER -