Central European Functional Programming School [[electronic resource] ] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / / edited by Anna Soós
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Central European Functional Programming School [[electronic resource] ] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / / edited by Anna Soós
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Edizione: | 1st ed. 2008. |
| Descrizione fisica: | 1 online resource (VII, 303 p.) |
| Disciplina: | 746.460285 |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | SoósAnna |
| Note generali: | "This volume presents the revised lecture notes of selected talks given a the second Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babes-Bolyai University, Cluj-Napoca, Romania"--Preface. |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Central European Functional Programming School |
| ISBN: | 3-540-88059-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465892803316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 5161