Skip to main content
SpringerLink
Log in

Central European Functional Programming School

Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

  • Textbook
  • © 2008

Overview

Editors:
  1. Zoltán Horváth

    1. Dept. of Programming Languages and Compilers, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rinus Plasmeijer

    1. Radboud Universiteit Nijmegen, Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anna Soós

    1. Babeş-Bolyai University, Cluj-Napoca, Romania

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Viktória Zsók

    1. Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5161)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CEFP 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Download chapter PDF

  2. An Introduction to iTasks: Defining Interactive Work Flows for the Web

    • Rinus Plasmeijer, Peter Achten, Pieter Koopman
    Pages 1-40

  3. Proving Properties of Lazy Functional Programs with Sparkle

    • Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer
    Pages 41-86

  4. An Introduction to the Lambda Calculus

    • Zoltán Csörnyei, Gergely Dévai
    Pages 87-111

  5. Abstract λ-Calculus Machines

    • Werner E. Kluge
    Pages 112-157

  6. Programming in Ωmega

    • Tim Sheard, Nathan Linger
    Pages 158-227

  7. A Tutorial on Object-Oriented Functional Programming

    • Horia F. Pop
    Pages 228-249

  8. Use Cases for Refactoring in Erlang

    • Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei et al.
    Pages 250-285

  9. From Interpretation to Compilation

    • Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer
    Pages 286-301

  10. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This volume presents the revised lecture notes of selected talks given at the second Central European Functional Programming School, CEFP 2007, held June 23–30, 2007 at Babe¸ s-Bolyai University, Cluj-Napoca, Romania. The summer school was organized in the spirit of the advanced progr- ming schools. CEFP focuses on involving an ever-growing number of students, researchers,andteachersfromcentral,andeasternEuropeancountries.We were glad to welcome the invited lecturers and the participants: 15 professors and 30 students from 9 di?erent universities. The intensive program o?ered a creative and inspiring environment and a great opportunity to present and exchange ideas in new topics of functional programming. The lectures covereda wide range of topics like interactive work ?ows for the Web, proving properties of lazy functional programs, lambda calculus and - stract lambda calculus machines, programming in ? mega, object-oriented fu- tional programming, and refactoring in Erlang. We are very grateful to the lecturers and researchers for the time and the e?ort they devoted to the talks and the revised lecture notes. The lecture notes were each carefully checked by reviewers selected from experts of functional programming. Afterwards the papers were revised once more by the lecturers. This revision process guaranteed that only high-quality papers are accepted in the volume of the lecture notes.

Editors and Affiliations

  • Dept. of Programming Languages and Compilers, Hungary

    Zoltán Horváth

  • Radboud Universiteit Nijmegen, Netherlands

    Rinus Plasmeijer

  • Babeş-Bolyai University, Cluj-Napoca, Romania

    Anna Soós

  • Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary

    Viktória Zsók

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation