FEEDBACK Smiley face
Normal view MARC view ISBD view

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

Contributor(s): Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Soós, Anna [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 5161Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Description: VII, 303 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540880592.Subject(s): 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 ComputationOnline resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in