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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Horváth, Zoltán (Επιμελητής έκδοσης), Plasmeijer, Rinus (Επιμελητής έκδοσης), Soós, Anna (Επιμελητής έκδοσης), Zsók, Viktória (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5161
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Mathematical Logic and Formal Languages.; Theory of Computation.

This volume presents eight carefully revised 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. The eight revised full papers presented were carefully selected during two round...

Πίνακας περιεχομένων:

• An Introduction to iTasks: Defining Interactive Work Flows for the Web
• Proving Properties of Lazy Functional Programs with Sparkle
• An Introduction to the Lambda Calculus
• Abstract ?-Calculus Machines
• Programming in ?mega
• A Tutorial on Object-Oriented Functional Programming
• Use Cases for Refactoring in Erlang
• From Interpretation to Compilation.