TY - BOOK ID - 7689651 TI - Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan Den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers AU - Hage, Jurriaan. AU - Morazan, Marco T. AU - International Symposium on Implementation and Application of Functional Languages PY - 2011 SN - 3642242758 3642242766 PB - New York : Springer, DB - UniCat KW - Functional programming languages KW - Engineering & Applied Sciences KW - Computer Science KW - Computer science. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Computer Science. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Software Engineering. KW - Mathematical Logic and Formal Languages. KW - Programming Techniques. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Programming KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Compilers (Computer programs). KW - Machine theory. KW - Computer Science Logic and Foundations of Programming. KW - Compilers and Interpreters. KW - Formal Languages and Automata Theory. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software UR - https://www.unicat.be/uniCat?func=search&query=sysid:7689651 AB - 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. ER -