Advanced Functional Programming
4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures (Lecture Notes in Computer Science)
1 edition
Our rough guess is there are 53,250 words in this book.
At a pace averaging 250 words per minute, this book will take 3 hours and 33 minutes to read. With a half hour per day, this will take 7 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Johan Jeuring (Editor) - Contributor
- Simon Peyton Jones (Editor) - Contributor
Publication
2003-10-13 - Springer
Language
English
Word Count
53,250 words, Guess
Page Count
213 pages
Physical Format
Paperback
Identifiers
- Open LibraryOL9407516M
- ISBN-139783540401322
- ISBN-103540401326
- OCLC Control Number52127569
- Library of Congress Control Number2003050538
and 1 more
- Goodreads2507513
Classifications
- LCCQA76.62 .A395 2002
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: 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.
First Sentence
Arithmetic coding is a method for data compression.
Subjects
Topics
Other Editions
- Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures (Lecture Notes in Computer Science)
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!