An Introduction to Functional Programming Through Lambda Calculus

Research Directions in Parallel Functional Programming

Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers