Book Details

Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

Publication year: 2008

: 978-3-540-88059-2

:


This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007.


: Computer Science, erlang, functional programming, itasks, programming, proving, refactoring, sparkle, web programming, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering, Programming and Operating Systems, Mathematical Logic and Formal Languages, Theory of Computation