Implementation and Application of Functional Languages

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Andy Gill Jurriaan Hage 

I S B N：(纸本) 9783642344060 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：X, 181页

主 题 词：Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Programming Techniques 

摘      要：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.