Advanced Functional Programming: Third International School, Afp'98, Braga, Portugal, September 12-19, 1998, Revised Lectures

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

• All from $60.65
• New Books from $60.65
• Used Books from $94.65
• Rare Books from $94.65

• All Copies (3)
• Softcover (3)
• Choose Edition (1)

• Book Details
• Seller
• Sort U.K./EUR Sellers Price: Low to High Price: High to Low Condition Condition: Reverse Pub Date Pub Date: Reverse Sellers Near Me

• Trade paperback, New 1999, Springer ISBN-13: 9783540662419 See Item Details ▾

  Alibris BEST NV, USA

  $60.65 $84.99 Add to Basket

  	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.62 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.
  ► Contact This Seller
  Hide Details ▴

• Trade paperback, New 1999, Springer ISBN-13: 9783540662419 See Item Details ▾

  GreatBookPrices HIGH Columbia, MD, USA

  $65.38 $84.99 Add to Basket

  	Edition: 1999, Springer Trade paperback, New Available Copies: 3	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.62 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.
  ► Contact This Seller
  Hide Details ▴

• Trade paperback, Good 1999, Springer ISBN-13: 9783540662419 See Item Details ▾

  Bonita HIGH Newport Coast, CA, USA

  $94.65 Add to Basket

  	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: 18124846553	Shipping Options: Standard Shipping: $4.62 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.
  ► Contact This Seller
  Hide Details ▴

1999, Springer, Berlin, Heidelberg ISBN-13: 9783540662419 1999 edition Trade paperback See All from $60.65