skip to content
Trends in functional programming. Volume 5 Preview this item
ClosePreview this item
Checking...

Trends in functional programming. Volume 5

Publisher: Bristol : Intellect, 2006.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
OCLC Number: 614896873
Description: 1 online resource (144 pages) : illustrations
Contents: Cover --
Preliminary Pages --
Contents --
1 Proof Support for General Type Classes --
1.1 Introduction --
1.2 Sparkle --
1.3 Preliminaries --
1.4 Structural induction --
1.5 Induction on instances --
1.6 Multiple class constraints --
1.7 Implementation --
1.8 Related and future work --
1.9 Conclusion --
References --
2 Generic Proofs for Combinator-based Generic Programs --
2.1 Introduction --
2.2 'Boilerplate' combinators as generic functions --
2.3 Generic proofs for 'boilerplate' combinators --
2.4 A proof of the fusion law for gmapT --
2.5 A theorem about occurs --
2.6 A fusion law for everywhere --
2.7 Conclusions and further work --
2.8 Proof of lemma 2.1 --
2.9 Proof of lemma 2.2 --
2.10 Proof of lemma 2.3 --
2.11 Proof of theorem 2.5 (continued) --
References --
3 Building certified components within focal --
3.1 Introduction --
3.2 FOCAL requirements and design principles --
3.3 Overview of FOCAL --
3.4 A complete example --
3.5 Compiling --
3.6 Applications --
3.7 Related work --
3.8 Conclusion and future work --
References --
4 Calculating an Exceptional Machine --
4.1 Introduction --
4.2 Abstract machines --
4.3 Arithmetic expressions --
4.4 Adding exceptions --
4.5 Further work --
References --
5 Generalizing the augment Combinator --
5.1 Introduction --
5.2 Semantics of fold/build --
5.3 The augment of free monads --
5.4 A generalized augment combinator --
5.5 Conclusion and future work --
References --
6 Alice Through the Looking Glass --
6.1 Introduction --
6.2 Futures --
6.3 Higher-order modules --
6.4 Packages --
6.5 Components --
6.6 Decomposing components --
6.7 Distribution --
6.8 Implementation --
6.9 Related work --
6.10 Outlook --
References --
7 Experiments with GHC's Optimiser --
7.1 Introduction --
7.2 Contributions of the paper --
7.3 The setup --
7.4 The method --
7.5 Evaluation --
7.6 Related work --
7.7 Conclusions --
References --
8 Disjoint Forms in Graphical User Interfaces --
8.1 Introduction --
8.2 FunctionalForms summary --
8.3 Combinators for disjoint forms --
8.4 Implementation --
8.5 Safety --
8.6 Related work --
8.7 Conclusions and future work --
References --
9 A Graphic Functional-Dataflow Language --
9.1 Introduction --
9.2 Outline of the NiMo language --
9.3 The NiMo environment --
9.4 Current state and future work --
9.5 Concluding remarks --
References.
Responsibility: edited by Stephen Gilmore.

Abstract:

This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/614896873> # Trends in functional programming. Volume 5
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "614896873" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2866155158#Place/bristol> ; # Bristol
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:about <http://dewey.info/class/005.114/e21/> ;
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:bookFormat schema:EBook ;
   schema:datePublished "2006" ;
   schema:description "Cover -- Preliminary Pages -- Contents -- 1 Proof Support for General Type Classes -- 1.1 Introduction -- 1.2 Sparkle -- 1.3 Preliminaries -- 1.4 Structural induction -- 1.5 Induction on instances -- 1.6 Multiple class constraints -- 1.7 Implementation -- 1.8 Related and future work -- 1.9 Conclusion -- References -- 2 Generic Proofs for Combinator-based Generic Programs -- 2.1 Introduction -- 2.2 'Boilerplate' combinators as generic functions -- 2.3 Generic proofs for 'boilerplate' combinators -- 2.4 A proof of the fusion law for gmapT -- 2.5 A theorem about occurs -- 2.6 A fusion law for everywhere -- 2.7 Conclusions and further work -- 2.8 Proof of lemma 2.1 -- 2.9 Proof of lemma 2.2 -- 2.10 Proof of lemma 2.3 -- 2.11 Proof of theorem 2.5 (continued) -- References -- 3 Building certified components within focal -- 3.1 Introduction -- 3.2 FOCAL requirements and design principles -- 3.3 Overview of FOCAL -- 3.4 A complete example -- 3.5 Compiling -- 3.6 Applications -- 3.7 Related work -- 3.8 Conclusion and future work -- References -- 4 Calculating an Exceptional Machine -- 4.1 Introduction -- 4.2 Abstract machines -- 4.3 Arithmetic expressions -- 4.4 Adding exceptions -- 4.5 Further work -- References -- 5 Generalizing the augment Combinator -- 5.1 Introduction -- 5.2 Semantics of fold/build -- 5.3 The augment of free monads -- 5.4 A generalized augment combinator -- 5.5 Conclusion and future work -- References -- 6 Alice Through the Looking Glass -- 6.1 Introduction -- 6.2 Futures -- 6.3 Higher-order modules -- 6.4 Packages -- 6.5 Components -- 6.6 Decomposing components -- 6.7 Distribution -- 6.8 Implementation -- 6.9 Related work -- 6.10 Outlook -- References -- 7 Experiments with GHC's Optimiser -- 7.1 Introduction -- 7.2 Contributions of the paper -- 7.3 The setup -- 7.4 The method -- 7.5 Evaluation -- 7.6 Related work -- 7.7 Conclusions -- References -- 8 Disjoint Forms in Graphical User Interfaces -- 8.1 Introduction -- 8.2 FunctionalForms summary -- 8.3 Combinators for disjoint forms -- 8.4 Implementation -- 8.5 Safety -- 8.6 Related work -- 8.7 Conclusions and future work -- References -- 9 A Graphic Functional-Dataflow Language -- 9.1 Introduction -- 9.2 Outline of the NiMo language -- 9.3 The NiMo environment -- 9.4 Current state and future work -- 9.5 Concluding remarks -- References."@en ;
   schema:description "This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2866155158> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:name "Trends in functional programming. Volume 5"@en ;
   schema:productID "614896873" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/614896873#PublicationEvent/bristol_intellect_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2866155158#Agent/intellect> ; # Intellect
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=155675> ;
   schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=282971> ;
   schema:url <http://www.myilibrary.com?id=47712&ref=toc> ;
   schema:url <http://www.myilibrary.com?id=47712> ;
   schema:url <http://site.ebrary.com/id/10120746> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/614896873> ;
    .


Related Entities

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/936086> # Functional programming (Computer science)
    a schema:Intangible ;
   schema:name "Functional programming (Computer science)"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.