TY - BOOK AU - Scholz,Sven-Bodo AU - Chitil,Olaf ED - SpringerLink (Online service) TI - Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783642244520 AV - QA76.9.L63 U1 - 005.1015113 23 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Artificial intelligence KW - Computer Science KW - Logics and Meanings of Programs KW - Software Engineering KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters KW - Artificial Intelligence (incl. Robotics) KW - Programming Techniques N2 - 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 UR - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-24452-0 ER -