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.
"synopsis" may belong to another edition of this title.
This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.
The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: 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, parallel and concurrent programming in Haskell and an iTask case study: a conference management system.
"About this title" may belong to another edition of this title.
£ 8 shipping within United Kingdom
Destination, rates & speedsSeller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642046513
Quantity: 10 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783642046513_new
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: 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, parallel and concurrent programming in Haskell and an iTask case study: a conference management system. 348 pp. Englisch. Seller Inventory # 9783642046513
Quantity: 2 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008.The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: 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, parallel and concurrent programming in Haskell and an iTask case study: a conference management system. Seller Inventory # 9783642046513
Quantity: 1 available
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Prog. Seller Inventory # 5044382
Quantity: Over 20 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 348 Illus. Seller Inventory # 6504764
Quantity: 4 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 345 pages. 9.20x6.10x0.80 inches. In Stock. Seller Inventory # x-3642046517
Quantity: 2 available
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. Seller Inventory # 9783642046513
Quantity: 2 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 348. Seller Inventory # 261375971
Quantity: 4 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 348. Seller Inventory # 181375977
Quantity: 4 available