 |
|
|
Item Details
| Title:
|
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL
SECOND SUMMER SCHOOL, CEFP 2007, CLUJ-NAPOCA, ROMANIA, JUNE 23-30, 2007 ; REVISED SELECTED LECTURES |
| By: |
Zoltan Horvath (Editor), Rinus Plasmeijer (Editor), Anna Soos (Editor) |
| Format: |
Paperback |
| List price:
|
£53.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540880585 |
| ISBN 13: |
9783540880585 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
22 September, 2008 |
| Series: |
Lecture Notes in Computer Science No. 5161 |
| Pages: |
303 |
| Description: |
Presents texts from selected lectures given by researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007. The lectures cover a wide range of topics such as interactive workflows, lazy functional programs, lambda calculus, and object-oriented functional programming. |
| Synopsis: |
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. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|