Custom cover image
Custom cover image

Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 5161Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: Online-Ressource (digital)ISBN:
  • 9783540880592
Subject(s): Genre/Form: Additional physical formats: 9783540880585 | Buchausg. u.d.T.: Central European functional programming school. Berlin : Springer, 2008. 301 S.MSC: MSC: *68-06 | 68N18 | 00B25RVK: RVK: SS 4800LOC classification:
  • QA76.7-76.73 QA76.76.C65
DOI: DOI: 10.1007/978-3-540-88059-2Online resources: Summary: 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.Summary: 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 rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as interactive workflows, lazy functional programs, lambda calculus, and object-oriented functional programming.PPN: PPN: 1647505151Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT