skip to content
Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 Preview this item
ClosePreview this item
Checking...

Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994

Author: Kevin Hammond; David N Turner; Patrick Sansom; British Computer Society.
Publisher: London ; New York : Springer-Verlag, ©1995.
Series: Workshops in computing.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Kongreß
Conference papers and proceedings
Glasgow (1994)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Kevin Hammond; David N Turner; Patrick Sansom; British Computer Society.
ISBN: 3540199144 9783540199144
OCLC Number: 31709254
Notes: "Published in collaboration with the British Computer Society."
Description: x, 254 pages : illustrations ; 24 cm.
Contents: Expression Refinement: Deriving Bresenham's Algorithm.- Dynamic Algebra for Calculating Algorithms.- On the Expressive Power of Constructor Classes.- Programming Reactive Systems in Haskell.- Techniques for Simplifying the Visualization of Graph Reduction.- A Tutorial on Co-Induction and Functional Programming.- Unboxing Using Specialisation.- Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell.- Fold-Unfold Transformations on State Monadic Interpreters.- Functional Binomial Queues.- Mechanized Reasoning About Functional Programs.- A Case Study in Parallel Program Derivation: The Heat Equation Algorithm.- Compilation by Transformation in the Glasgow Haskell Compiler.- Experience of Developing a Cervical Cytology Scanning System Using Gofer and Haskell.- Binding-Time Improvement and Fold-Unfold Transformation.- Data Dependent Concurrency Control.- Type-Checked Message-Passing Between Functional Processes.- Author Index.
Series Title: Workshops in computing.
Responsibility: Kevin Hammond, David N. Turner, and Patrick M. Sansom.

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/31709254> # Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "31709254" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/355362969#Topic/funktionale_programmierung> ; # Funktionale Programmierung
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/355362969#Thing/functional_programming> ; # Functional programming
   schema:about <http://dewey.info/class/005.11/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/355362969#Place/glasgow_1994> ; # Glasgow <1994>
   schema:about <http://experiment.worldcat.org/entity/work/data/355362969#Topic/programmation_fonctionnelle_informatique_congres> ; # Programmation fonctionnelle (informatique)--Congrès
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/22865386> ; # David Neil Turner
   schema:contributor <http://viaf.org/viaf/149407214> ; # British Computer Society.
   schema:contributor <http://viaf.org/viaf/113258209> ; # Patrick Sansom
   schema:contributor <http://viaf.org/viaf/85221577> ; # Kevin Hammond
   schema:copyrightYear "1995" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/355362969#Meeting/glasgow_workshop_on_functional_programming_1994_ayr_scotland> ; # Glasgow Workshop on Functional Programming (1994 : Ayr, Scotland)
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/355362969> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongreß"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Glasgow (1994)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/355362969#Series/workshops_in_computing> ; # Workshops in computing.
   schema:name "Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994"@en ;
   schema:productID "31709254" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/31709254#PublicationEvent/london_new_york_springer_verlag_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/355362969#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=006779250&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006779250&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9783540199144> ;
   umbel:isLike <http://d-nb.info/944298435> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9531891> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB95V1129> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/31709254> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/355362969#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/355362969#Meeting/glasgow_workshop_on_functional_programming_1994_ayr_scotland> # Glasgow Workshop on Functional Programming (1994 : Ayr, Scotland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/355362969#Place/ayr_scotland> ; # Ayr, Scotland)
   schema:name "Glasgow Workshop on Functional Programming (1994 : Ayr, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/355362969#Series/workshops_in_computing> # Workshops in computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/31709254> ; # Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
   schema:name "Workshops in computing." ;
   schema:name "Workshops in computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/355362969#Thing/functional_programming> # Functional programming
    a schema:Thing ;
   schema:name "Functional programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/355362969#Topic/funktionale_programmierung> # Funktionale Programmierung
    a schema:Intangible ;
   schema:name "Funktionale Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/355362969#Topic/programmation_fonctionnelle_informatique_congres> # Programmation fonctionnelle (informatique)--Congrès
    a schema:Intangible ;
   schema:name "Programmation fonctionnelle (informatique)--Congrès"@en ;
    .

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

<http://viaf.org/viaf/113258209> # Patrick Sansom
    a schema:Person ;
   schema:familyName "Sansom" ;
   schema:givenName "Patrick" ;
   schema:name "Patrick Sansom" ;
    .

<http://viaf.org/viaf/149407214> # British Computer Society.
    a schema:Organization ;
   schema:name "British Computer Society." ;
    .

<http://viaf.org/viaf/22865386> # David Neil Turner
    a schema:Person ;
   schema:birthDate "1969" ;
   schema:familyName "Turner" ;
   schema:givenName "David Neil" ;
   schema:givenName "David N." ;
   schema:name "David Neil Turner" ;
    .

<http://viaf.org/viaf/85221577> # Kevin Hammond
    a schema:Person ;
   schema:familyName "Hammond" ;
   schema:givenName "Kevin" ;
   schema:name "Kevin Hammond" ;
    .

<http://worldcat.org/isbn/9783540199144>
    a schema:ProductModel ;
   schema:isbn "3540199144" ;
   schema:isbn "9783540199144" ;
    .

<http://www.worldcat.org/title/-/oclc/31709254>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/31709254> ; # Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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