Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540662419: Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

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

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 84.99
US$ 33.18

Convert currency

Shipping: FREE
From India to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

SWIERSTRA DOAITSE S. ET.AL
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Quantity Available: 2
Seller:
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Seller Inventory # AINDN-1954

More information about this seller | Contact this seller

Buy New
US$ 33.18
Convert currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, rates & speeds

2.

SWIERSTRA DOAITSE S. ET.AL
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Quantity Available: 2
Seller:
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Rating
[?]

Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship fro the US or other locations in India depending on your location and availability. Seller Inventory # AUSBNN-1954

More information about this seller | Contact this seller

Buy New
US$ 35.90
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

SWIERSTRA DOAITSE S. ET.AL
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Quantity Available: 3
Seller:
University Bookstore
(DELHI, DELHI, India)
Rating
[?]

Book Description Condition: New. This is Brand NEW. Seller Inventory # Star-18092018-26651

More information about this seller | Contact this seller

Buy New
US$ 32.10
Convert currency

Add to Basket

Shipping: US$ 10.51
From India to U.S.A.
Destination, rates & speeds

4.

S. Doaitse Swierstra (Editor), Pedro R. Henriques (Editor), Jose N. Oliveira (Editor)
Published by Springer (1999)
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1999. Paperback. Condition: New. 1999. Seller Inventory # DADAX3540662413

More information about this seller | Contact this seller

Buy New
US$ 49.14
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

S. Doaitse Swierstra
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1999)
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1999. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540662419

More information about this seller | Contact this seller

Buy New
US$ 75.96
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

S. DOAITSE SWIERSTRA
Published by Springer (1999)
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1999. Paperback. Condition: NEW. 9783540662419 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0341738

More information about this seller | Contact this seller

Buy New
US$ 81.37
Convert currency

Add to Basket

Shipping: US$ 10.51
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Swierstra, S. Doaitse
Published by Springer (2016)
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540662419_lsuk

More information about this seller | Contact this seller

Buy New
US$ 89.26
Convert currency

Add to Basket

Shipping: US$ 5.10
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

ISBN 10: 3540662413 ISBN 13: 9783540662419
New Quantity Available: 5
Seller:
ReadWhiz
(Portland, OR, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # ria9783540662419_ing

More information about this seller | Contact this seller

Buy New
US$ 94.49
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

9.

Published by Springer (2008)
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2008. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9783540662419

More information about this seller | Contact this seller

Buy New
US$ 98.39
Convert currency

Add to Basket

Shipping: US$ 3.21
From Germany to U.S.A.
Destination, rates & speeds

10.

S. Doaitse Swierstra
Published by Springer (1999)
ISBN 10: 3540662413 ISBN 13: 9783540662419
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1999. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540662419

More information about this seller | Contact this seller

Buy New
US$ 92.61
Convert currency

Add to Basket

Shipping: US$ 11.85
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book