|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465392903316 |
|
|
Titolo |
Implementation and Application of Functional Languages [[electronic resource] ] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / / edited by Jurriaan Hage, Marco T. Morazán |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 217 p. 29 illus., 4 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6647 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Compilers (Computer programs) |
Software engineering |
Machine theory |
Computer programming |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
Software Engineering |
Formal Languages and Automata Theory |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the 22nd International Workshop on Implementation and Applications of Functional Languages, IFL 2011, held in Alphen aan den Rijn, The Netherlands in September 2011. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, |
|
|
|
|
|
|
|
|
|
|
of work in progress, and of publication-ripe results. |
|
|
|
|
|
| |