TY - BOOK ID - 7616291 TI - Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers AU - Gill, Andy. AU - Hage, Jurriaan. AU - International Symposium on Implementation and Application of Functional Languages PY - 2012 SN - 3642344062 3642344070 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: 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:7616291 AB - This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results. ER -