Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
Advanced functional programming ; 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International School on Advanced Functional Programming, AFP 2004, held in Tartu, Estonia, August 14–21, 2004. The goal of the AFP schools is to inform the wide international communitiesof computer science students and software production professionals about thenew and important developments in the area of functional programming. The schools put a special emphasis on practical applications of advanced techniques.

