Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK,

The Nile on eBay   Advanced Functional Programming by Johan Jeuring, Simon Peyton Jones

This tutorial book presents seven revised lectures given by leading researchers at the 4th International School on Functional Programming, AFP 2002, in Oxford, UK in August 2002.The lectures presented introduce tools, language features, domain-specific languages, problem domains, and programming methods. All lectures contain exercises and practical assignments. The software accompanying the lectures can be accessed from the AFP 2002 Web site. This book is designed to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming.

FORMATPaperback LANGUAGEEnglish CONDITIONBrand New Publisher Description

This tutorial book presents seven revised lectures given by leading researchers at the 4th International School on Functional Programming, AFP 2002, in Oxford, UK in August 2002. The lectures presented introduce tools, language features, domain-specific languages, problem domains, and programming methods. All lectures contain exercises and practical assignments. The software accompanying the lectures can be accessed from the AFP 2002 Web site. This book is designed to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming.

Notes

Springer Book Archives

Table of Contents

Arithmetic Coding with Folds and Unfolds.- An Approach to Fast Arrays in Haskell.- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.- Developing Interactive Web Programs.- JoCaml: A Language for Concurrent Distributed and Mobile Programming.- Arrows, Robots, and Functional Reactive Programming.- XQuery: A Typed Functional Language for Querying XML.

Promotional

Springer Book Archives

Long Description

This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19-24,2002,at St. Anne's College in Oxford, UK. This School was preceded by earlier ones in B? astad (1995, Sweden, LNCS 925),Olympia,WA (1996,USA, LNCS 1129),andBraga(1998,Portugal,LNCS 1608). The goal of this series of schools is to make recent developments in the area of functional programming widely available. The notes are published to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming. ThelecturesinthisSchoolintroducetools,languagefeatures,domain-speci'c languages, problem domains, or programming methods. All lectures are - companied by software, and all lectures contain exercises and practical assi- ments. Most of the resources can be downloaded via the website of the School: ional-programming.org/afp/afp4/. TheLectures Richard Bird and Jeremy Gibbons show how to construct a program for ari- meticcoding.Theyusethetheoryoffoldsandunfoldstodevelopbothaprogram forarithmeticcodinganddecoding,andaproofofcorrectness.Theelegantresult shows that using theory can make a di'cult proof digestible. Manuel Chakravarty and Gabriele Keller tackle the performance problem of Haskell's standard arrays. They introduce an array library with which arr- centric algorithms can be coded elegantly, which has very good performance. Koen Claessen and Colin Runciman show how to use QuickCheck to specify programpropertiesandtotestthesepropertiesonfunctionalprograms,andhow to use Hat to trace computations. The combination of the two tools which can be used to trace computations of unexpected results is a powerful debugging tool. MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.

Details ISBN3540401326 Series Lecture Notes in Computer Science Language English ISBN-10 3540401326 ISBN-13 9783540401322 Media Book Format Paperback DEWEY 005.114 Series Number 2638 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Edited by Johan Jeuring Short Title ADVD FUNCTIONAL PROGRAMMING 20 Pages 216 Subtitle 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Illustrations VIII, 216 p. DOI 10.1007/b11942;10.1007/978-3-540-44833-4 Author Simon Peyton Jones Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 2003 ed. Year 2003 Edition 2003rd Publication Date 2003-05-08 Audience General We've got this

At The Nile, if you're looking for it, we've got it.With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!

TheNile_Item_ID:137652507;