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

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Soós, Anna (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Theoretical Computer Science and General Issues, 5161
Temas:
Compilers (Computer programs).
Computer programming.
Software engineering.
Machine theory.
Computer science.
Compilers and Interpreters.
Programming Techniques.
Software Engineering.
Formal Languages and Automata Theory.
Theory of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares