
Advanced Functional Programming
6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
Springer (Publisher)
Published on 23. September 2009
Book
Paperback/Softback
XVI, 331 pages
978-3-642-04651-3 (ISBN)
Description
This volume contains the revised lecture notes corresponding to the lectures given at the 6th International School on Advanced Functional Programming, AFP 2008, held in Heijen, a little village in the woodlands near the city of Nijmegen, The Netherlands, May 19-24, 2008. AFP 2008 was co-located with TFP 2008, the 9th Symposium on Trends in Functional Programming [see P. Achten,P.Koopman,M.Marazan ' : Trends in Functional Programming volume 9, ISBN 978-1-84150-277-9,Intellect]. The school attracted 62 participants from 19 countries, a record, including the lecturers and organizers. This event was precededby?veearlierinstancesinB? astad,Sweden(1995,LNCS925),Olympia, WA, USA (1996, LNCS 1129), Braga,Portugal(1998, LNCS 1608), Oxford, UK (2002, LNCS 2638) and Tartu, Estonia, (2004, LNCS 3622). The goals of the series of Advanced Functional Programming schools are: - Bringing computer scientists, in particular young researchers and progr- mers, up to date with the latest functional programming techniques. - Showinghowtouseadvancedfunctionalprogrammingtechniquesin"progr- ming in the real world".
- Bridgingtheeducationalgapbetweenresultspresentedatconferencesonthe one side and material as presented in introductory textbooks on the other side.
- Bridgingtheeducationalgapbetweenresultspresentedatconferencesonthe one side and material as presented in introductory textbooks on the other side.
More details
Series
Edition
2009 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XVI, 331 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 19 mm
Weight
528 gr
ISBN-13
978-3-642-04651-3 (9783642046513)
DOI
10.1007/978-3-642-04652-0
Schweitzer Classification
Content
Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Programming in Agda.- A Tutorial on Parallel and Concurrent Programming in Haskell.- An iTask Case Study: A Conference Management System.