✦ LIBER ✦
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 4015 || Encoding Strategies in the Lambda Calculus with Interaction Nets
✍ Scribed by Butterfield, Andrew; Grelck, Clemens; Huch, Frank
- Book ID
- 115451794
- Publisher
- Springer Berlin Heidelberg
- Year
- 2006
- Tongue
- English
- Weight
- 722 KB
- Edition
- 1
- Category
- Article
- ISBN
- 3540691758
No coin nor oath required. For personal study only.
✦ Synopsis
This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages.