Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures - Lecture Notes in Computer Science 2638 (Paperback)
  • Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures - Lecture Notes in Computer Science 2638 (Paperback)
zoom

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures - Lecture Notes in Computer Science 2638 (Paperback)

(editor), (editor)
£49.99
Paperback 216 Pages / Published: 08/05/2003
  • We can order this from the publisher

UK delivery within 3-4 weeks

  • This item has been added to your basket
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: http://www.functional-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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540401322
Number of pages: 216
Weight: 720 g
Dimensions: 235 x 155 x 12 mm
Edition: 2003 ed.

You may also be interested in...

Agile Product Management with Scrum
Added to basket
Clean Code
Added to basket
£38.99
Paperback
Learning Python
Added to basket
£59.99
Paperback
SQL Antipatterns
Added to basket
£27.99
Paperback
C++ For Dummies, 7e
Added to basket
£21.99
Paperback
How to Build a Billion Dollar App
Added to basket
Algorithms Unlocked
Added to basket
Effective Modern C++
Added to basket
Coding for Beginners in easy steps
Added to basket
The Linux Programming Interface
Added to basket
Schaum's Outline of Programming with Java
Added to basket
HTML5 and CSS3 In Simple Steps
Added to basket
Understanding Cryptography
Added to basket
HTML5 and CSS3 All-in-One For Dummies 3e
Added to basket
Ada Lovelace: Bride of Science
Added to basket

Please sign in to write a review

Your review has been submitted successfully.