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

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

by S. Doaitse Swierstra,Pedro R. Henriques,Jose N. Oliveira

  • Author: S. Doaitse Swierstra,Pedro R. Henriques,Jose N. Oliveira
  • ISBN: 3540662413
  • ISBN13: 978-3540662419
  • ePub: 1853 kb | FB2: 1768 kb
  • Language: English
  • Category: Programming
  • Publisher: Springer; 1999 edition (August 13, 1999)
  • Pages: 289
  • Rating: 4.9/5
  • Votes: 853
  • Format: doc lrf lrf txt
Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures (Lecture Notes in Computer Science) ePub download

Bibliographic Information. Advanced Functional Programming.

Bibliographic Information. Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures. S. Doaitse Swierstra.

Folkscanomy: A Library of Books. Additional Collections

Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures Author: S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques Published by Springer Berlin Heidelberg ISBN: 978-3-540-66241-9 DOI: 1. 007/10704973. Table of Contents: Sorting Morphisms. Generic Program Transformation. Folkscanomy: A Library of Books. Additional Collections. Uploaded by Sketch the Cow on December 30, 2015. SIMILAR ITEMS (based on metadata). Terms of Service (last updated 12/31/2014).

This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998.

Advanced Functional Programming book. Start by marking Advanced Functional Programming: Third International School, Afp'98, Braga, Portugal, September 12-19, 1998, Revised Lectures as Want to Read: Want to Read savin. ant to Read.

rd tationsgivenatthe3 ing, heldinBraga, r12-19,1998. tad(1995, Sweden, LNCS925) andOlympia, WA(1996, USA, LNCS1129). fschoolsis large groupofstudents.

1999 Серия: Lecture Notes in Computer Science Язык: ENG Размер: 2. 9 x 1. 0 x . 5 cm Основная тема: Computer Science Подзаголовок: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures Рейтинг

You can specify the type of files you want, for your gadget.

You can specify the type of files you want, for your gadget

Advanced Functional Programming School 1998: Braga, Portugal. Lecture Notes in Computer Science 1608, Springer 1999, ISBN 3-540-66241-3.

Advanced Functional Programming School 1998: Braga, Portugal. export records of this page. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira: Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures.

September 28, 2018 History. Functional programming (Computer science), Congresses. 1 2 3 4 5. Want to Read. Are you sure you want to remove Advanced Functional Programming from your list? Advanced Functional Programming. Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures (Lecture Notes in Computer Science). Published August 13, 1999 by Springer.

3rd Inter-national Summer School on Advanced Functional Programming, Braga, Portugal, 12th-19th September, 1998, volume 1608 of LNCS. Thorsten Altenkirch: School of Computer Science and Information Technology, University of Nottingham, Nottingham, NG8 1BB, UK [email protected]

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
E-Books Related to Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures (Lecture Notes in Computer Science):