Advanced Functional Programming: Third International School, Afp'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
Write The First Customer Review
Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga, PortugalfromSeptember12-19,1998. ThisschoolwasprecededbyearlieronesinB?astad(1995, Sweden, LNCS925) andOlympia, WA(1996, USA, LNCS1129). Thegoalofthisseriesofschoolsis tobringrecentdevelopmentsintheareaoffunctionalprogrammingtoalarge groupofstudents. Thenotesarepublishedinordertoenableindividuals, small studygroups, andlecturerstobecomeacquaintedwithrecentworkinthefast ...
Read More
Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga, PortugalfromSeptember12-19,1998. ThisschoolwasprecededbyearlieronesinB?astad(1995, Sweden, LNCS925) andOlympia, WA(1996, USA, LNCS1129). Thegoalofthisseriesofschoolsis tobringrecentdevelopmentsintheareaoffunctionalprogrammingtoalarge groupofstudents. Thenotesarepublishedinordertoenableindividuals, small studygroups, andlecturerstobecomeacquaintedwithrecentworkinthefast developingareaoffunctionalprogramming. Whatmadethisschoolparticularlyinterestingwasthefactthatalllectures introducedusefulsoftware, thatwasusedbythestudentsintheclassestoget hands-onexperiencewiththesubjectstaught. Weurgereadersofthisvolumeto downloadthelatestversionofthissoftwarefromtheInternetandtrytodothe exercisesfromthetextthemselves;theproofoftheprogramisinthetyping. The?rstlecture, onSortingMorphisms, servesasagentleintroductiontothe thingstocome. Ifyouhavealwaysbeenafraidoftheword"morphism", andyou havebeenwonderingwhatcatamorphisms, anamorphisms, hylomorphims, and paramorphimswereabout, thisisthepapertoread?rst;youwilldiscoverthat theyaremerelynamesforrecursionpatternsthatoccuroverandoveragainwhen writingfunctionalprograms. Thealgorithmsinthepaperareallaboutsorting, andsinceyouarelikelytoknowthosealgorithmsbyheartalready, seeingthem structuredandanalyzedinanovelwayshouldserveasamotivationtoreadon tothesecondlecture. Thesecondlecture, onGenericProgramming, isalmostabookinabook. ThenotescanbeseenastheculminatingpointoftheSTOP-project, sponsored bytheDutchgovernmentattheendofthe80'sandthebeginningofthe90's. Its overallgoalwasthedevelopmentofacalculationalwayofderivingprograms. The projecthasprovideddeeperinsightintorealfunctionalprogrammingandinto thetheorybehindmanythingscommonlywrittenbyfunctionalprogrammers. Oneofthemainachievementsoftheprojecthasbeentomakepeopleaware ofthefactthatmanyalgorithmscanbedescribedinadata-independentway. ThePolyPsystemintroducedinthesenotesisoneofthetranslationstothe Haskell-worldofthistheoreticalunderpinning. Thethirdlecture, onGenericProgramTransformation, canalsobeseenas anapplicationofthetheoryintroducedinlecturetwo. Manye?ciency-improving programtransformationscanbeperformedinamechanicalway, andthesewould nothavebeenpossiblewithoutinsightintothecorrectnessofsuchtransfor- tionsgainedinthelectureonGenericProgramming. Thefourthlecture, onDesigningandImplementingCombinatorLanguages, introducesaneasytowriteformalismforwritingdownthecatamorphismsint- ducedinearlierchapters. Itisshownhowquitecomplicatedcatamorphisms, that at?rstsightseemratherforbiddingbymakingextensiveuseofhigher-orderdo- VI Preface mains, canactuallybedevelopedinastep-wisefashion, usinganattributegr- marview;itisfurthermoreshownhowtorelatethiswayofprogrammingwith conceptsfromtheobject-orientedworldthusmakingclearwhatthestrengths andweaknessesofeachworldare. The?fthlecture, titledUsingMetaML: AStagedProgrammingLanguage, introducestheconceptofpartialevaluation. Itservesasanotherinstanceof thequestfor"themostgenericofwritingprogramsatthelowestcost". The stagingtechniquesshowhowcoststhatwereintroducedbyaddingextralevels ofabstraction, maybemovedfromrun-timetocompile-time. Ithasbeencommonknowledgetousersofmodernfunctionallanguagesthat thetypesystemcanbeagreathelpinshorteningprogramsandreducingerrors. Intheextremeonemightseeatypeasapredicatecapturingtheproperties ofanyexpressionwiththattype. InthesixthlectureonCayenne-Spiceup yourProgrammingwithDependentTypesitisshowninwhatdirectionfunct
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Trade paperback,
Fine/Like New
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
Media Smart
HIGH
Hawthorne,
CA,
USA
$42.10
Add to Basket
Add this copy of Advanced Functional Programming to cart. $42.10, like new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1999 by Springer.
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
18177093220
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Fine. P 312.
Hide Details ▴
Trade paperback,
New
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
Alibris
BEST
NV, USA
$60.65
Add to Basket
Add this copy of Advanced Functional Programming: Third International to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1999 by Springer.
Edition: 1999, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
17005645835
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 298 p. Lecture Notes in Computer Science, 1608.
Hide Details ▴
Trade paperback,
New
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
Ria Christie Books
HIGH
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$61.22
Add to Basket
Add this copy of Advanced Functional Programming: Third International to cart. $61.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1999 by Springer.
Edition: 1999, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
18321145656
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 298 p. Lecture Notes in Computer Science, 1608.
Hide Details ▴
Trade paperback,
New
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
GreatBookPricesUK5
HIGH
Castle Donington,
DERBYSHIRE,
UNITED KINGDOM
$62.98
Add to Basket
Add this copy of Advanced Functional Programming: Third International to cart. $62.98, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1999 by Springer.
Edition: 1999, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
17986966254
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 298 p. Lecture Notes in Computer Science, 1608. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Hide Details ▴
Trade paperback,
New
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
GreatBookPrices
HIGH
Columbia,
MD,
USA
$72.44
Add to Basket
Add this copy of Advanced Functional Programming: Third International to cart. $72.44, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1999 by Springer.
Edition: 1999, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
17987760415
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 298 p. Lecture Notes in Computer Science, 1608. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Hide Details ▴
Trade paperback,
New
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
Just one more Chapter
AVERAGE
Miramar,
FL,
USA
$72.45
Add to Basket
Add this copy of Advanced Functional Programming: Third International to cart. $72.45, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1999 by Springer.
Edition: 1999, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
18392106682
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New!
Hide Details ▴
Trade paperback,
Good
1999, Springer
ISBN-13:
9783540662419
See Item Details ▾
Bonita
HIGH
Santa Clarita,
CA,
USA
$87.60
Add to Basket
Add this copy of Advanced Functional Programming: Third International to cart. $87.60, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1999 by Springer.
Edition: 1999, Springer
Trade paperback,
Good
Details: ISBN:
3540662413
ISBN-13:
9783540662419
Pages:
298
Edition:
1999 edition
Publisher:
Springer
Published:
1999
Language:
English
Alibris ID:
18180339408
Shipping Options: Standard Shipping: $4.92
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
ISBN-13: 9783540662419
1999 edition
Trade paperback
Books by S Doaitse Swierstra
