Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures

• Main Author: HorvΓ'th, ZoltΓ'n
• Corporate Author: SpringerLink (Online service)
• Other Authors: Plasmeijer, Rinus, ZsΓ³k, ViktΓ³ria
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science 6299
• Subjects: Computer science; Computer Communication Networks; Software engineering; Logic design; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages