Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / [electronic resource] :
edited by Sven-Bodo Scholz, Olaf Chitil.
- 1st ed. 2011.
- X, 291 p. 84 illus., 5 illus. in color. online resource.
- Theoretical Computer Science and General Issues, 5836 2512-2029 ; .
- Theoretical Computer Science and General Issues, 5836 .
This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools.
9783642244520
10.1007/978-3-642-24452-0 doi
Computer science.
Software engineering.
Machine theory.
Compilers (Computer programs).
Artificial intelligence.
Computer programming.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Artificial Intelligence.
Programming Techniques.
QA75.5-76.95
004.0151
This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools.
9783642244520
10.1007/978-3-642-24452-0 doi
Computer science.
Software engineering.
Machine theory.
Compilers (Computer programs).
Artificial intelligence.
Computer programming.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Artificial Intelligence.
Programming Techniques.
QA75.5-76.95
004.0151