skip to content
Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 Preview this item
ClosePreview this item
Checking...

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992

Author: John Launchbury; Patrick Sansom; British Computer Society.
Publisher: London ; New York : Springer-Verlag, ©1993.
Series: Workshops in computing.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Contains the papers presented at the latest Glasgow Workshop on Functional Programming, held in Ayr, Scotland, 6-8 July 1992. They concentrate on the design and implementation of functional  Read more...

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Glasgow (1992)
Kongreß
Congresses
Additional Physical Format: Online version:
Glasgow Workshop on Functional Programming (1992 : Ayr, Scotland).
Functional programming, Glasgow 1992.
London ; New York : Springer-Verlag, ©1993
(OCoLC)624025761
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: John Launchbury; Patrick Sansom; British Computer Society.
ISBN: 3540198202 9783540198208 0387198202 9780387198200
OCLC Number: 27726660
Notes: "Published in cooperation with the British Computer Society."
Description: viii, 268 pages : illustrations ; 24 cm.
Contents: High Level Specification of I/O in Functional Languages.- GRIT: Guy's RISC Implementation of the Three Instruction Machine.- A Logical Framework for Program Analysis.- Analysing Functions by Projection-Based Backward Abstraction.- Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary).- The Glasgow Haskell Compiler: A Retrospective.- Improving Persistent Data Manipulation for Functional Languages.- A Loop-Detecting Interpreter for Lazy, Higher-Order Programs.- A Semantics for Locally Bottom-Avoiding Choice.- A Certain Loss of Identity.- Programming with Constructor Classes (Preliminary Summary).- Combining Monads.- Avoiding Unnecessary Updates.- Deforestation for Higher-Order Functions.- Hazard Algebra and the Design of Asynchronous Automata.- Generating Netlists from Executable Circuit Specifications in a Pure Functional Language.- The nofib Benchmark Suite of Haskell Programs.- Heap Profiling of a Lazy Functional Compiler.- LZW Text Compression in Haskell.- Profiling Lazy Functional Programs.- On Program Transformation in the Glasgow Haskell Compiler.- Graphical User Interfaces for Haskell.- Formulating Haskell.- Author Index.
Series Title: Workshops in computing.
Responsibility: John Launchbury and Patrick Sansom, eds.

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/27726660> # Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "27726660" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/435112337#Thing/functional_programming> ; # Functional programming
   schema:about <http://experiment.worldcat.org/entity/work/data/435112337#Topic/kongress> ; # Kongreß
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/435112337#Topic/funktionale_programmierung> ; # Funktionale Programmierung
   schema:about <http://dewey.info/class/005.11/e20/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/69611695> ; # John Launchbury
   schema:contributor <http://viaf.org/viaf/113258209> ; # Patrick Sansom
   schema:contributor <http://viaf.org/viaf/135448238> ; # British Computer Society.
   schema:copyrightYear "1993" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/435112337#Meeting/glasgow_workshop_on_functional_programming_1992_ayr_scotland> ; # Glasgow Workshop on Functional Programming (1992 : Ayr, Scotland)
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/435112337> ;
   schema:genre "Kongreß"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Glasgow (1992)"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/435112337#Series/workshops_in_computing> ; # Workshops in computing.
   schema:isSimilarTo <http://www.worldcat.org/oclc/624025761> ;
   schema:name "Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992"@en ;
   schema:productID "27726660" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/27726660#PublicationEvent/london_new_york_springer_verlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/435112337#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387198200> ;
   schema:workExample <http://worldcat.org/isbn/9783540198208> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9328466> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/27726660> ;
    .


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/435112337#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/435112337#Series/workshops_in_computing> # Workshops in computing.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/27726660> ; # Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
   schema:name "Workshops in computing." ;
   schema:name "Workshops in computing" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/435112337#Topic/funktionale_programmierung> # Funktionale Programmierung
    a schema:Intangible ;
   schema:name "Funktionale Programmierung"@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:birthDate "1969" ;
   schema:familyName "Sansom" ;
   schema:givenName "Patrick" ;
   schema:name "Patrick Sansom" ;
    .

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

<http://viaf.org/viaf/69611695> # John Launchbury
    a schema:Person ;
   schema:familyName "Launchbury" ;
   schema:givenName "John" ;
   schema:name "John Launchbury" ;
    .

<http://worldcat.org/isbn/9780387198200>
    a schema:ProductModel ;
   schema:isbn "0387198202" ;
   schema:isbn "9780387198200" ;
    .

<http://worldcat.org/isbn/9783540198208>
    a schema:ProductModel ;
   schema:isbn "3540198202" ;
   schema:isbn "9783540198208" ;
    .

<http://www.worldcat.org/oclc/624025761>
    a schema:CreativeWork ;
   rdfs:label "Functional programming, Glasgow 1992." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/27726660> ; # Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
    .

<http://www.worldcat.org/title/-/oclc/27726660>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/27726660> ; # Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
   schema:dateModified "2016-05-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.