skip to content
Logical foundations of functional programming Preview this item
ClosePreview this item
Checking...

Logical foundations of functional programming

Author: Gérard Huet
Publisher: Reading, Mass. : Addison-Wesley, ©1990.
Series: UT year of programming series.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Logical foundations of functional programming.
Reading, Mass. : Addison-Wesley, ©1990
(OCoLC)651722802
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Gérard Huet
ISBN: 0201172348 9780201172348
OCLC Number: 20220701
Description: xvi, 491 pages : illustrations ; 25 cm.
Contents: CAML : the theory, the machine, and the language : introduction / Guy Cousineau --
Cartesian closed categories and lambda-calculus / Gerard Huet --
The categorical abstract machine / Guy Cousineau --
Compiling ML into CAM / Ascander Suarez --
Polymorphic lambda-calculus : introduction / John C. Reynolds --
The system F of variable types, 15 years later / Jean-Yves Girard --
On functors expressible in the polymorphic lambda calculus / John C. Reynolds and Gordon D. Plotkin --
Polymorphic type inference and containment / John C. Mitchell --
A type-inference approach to reduction properties and semantics of polymorphic expressions (summary) / John C. Mitchell. The semantics of second-order lambda-calculus / Kim B. Bruce, Albert R. Meyer, and John C. Mitchell --
Empty types in polymorphic lambda-calculus / Albert R. Meyer [and others] --
Computable values can be classical / Val Breazu-Tannen and Albert R. Meyer / Polymorphism is conservative over simple types / Val Breazu-Tannen and Albert R. Meyer --
Functorial polymorphism / E.S. Bainbridge [and others] --
Topics in constructive type theory : introduction / Gerard Huet --
A uniform approach to type theory / Gerard Huet --
On the analogy between propositions and types / Thierry Coquand --
Recursive realizability semantics for calculus of constructions / Andre Scedrov --
An introduction to PX / Susumu Hayashi.
Series Title: UT year of programming series.
Responsibility: edited by Gérard Huet.
More information:

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/20220701> # Logical foundations of functional programming
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20220701" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/22166089#Place/reading_mass> ; # Reading, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/22166089#Topic/caml_light_langage_de_programmation> ; # Caml Light (langage de programmation)
   schema:about <http://experiment.worldcat.org/entity/work/data/22166089#Topic/programmation_fonctionnelle> ; # Programmation fonctionnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/22166089#Topic/programmation_fonctionnelle_informatique> ; # Programmation fonctionnelle (informatique)
   schema:about <http://dewey.info/class/005.11/e20/> ;
   schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/22166089#Person/huet_gerard> ; # Gérard Huet
   schema:copyrightYear "1990" ;
   schema:datePublished "1990" ;
   schema:description "CAML : the theory, the machine, and the language : introduction / Guy Cousineau -- Cartesian closed categories and lambda-calculus / Gerard Huet -- The categorical abstract machine / Guy Cousineau -- Compiling ML into CAM / Ascander Suarez -- Polymorphic lambda-calculus : introduction / John C. Reynolds -- The system F of variable types, 15 years later / Jean-Yves Girard -- On functors expressible in the polymorphic lambda calculus / John C. Reynolds and Gordon D. Plotkin -- Polymorphic type inference and containment / John C. Mitchell -- A type-inference approach to reduction properties and semantics of polymorphic expressions (summary) / John C. Mitchell."@en ;
   schema:description "The semantics of second-order lambda-calculus / Kim B. Bruce, Albert R. Meyer, and John C. Mitchell -- Empty types in polymorphic lambda-calculus / Albert R. Meyer [and others] -- Computable values can be classical / Val Breazu-Tannen and Albert R. Meyer / Polymorphism is conservative over simple types / Val Breazu-Tannen and Albert R. Meyer -- Functorial polymorphism / E.S. Bainbridge [and others] -- Topics in constructive type theory : introduction / Gerard Huet -- A uniform approach to type theory / Gerard Huet -- On the analogy between propositions and types / Thierry Coquand -- Recursive realizability semantics for calculus of constructions / Andre Scedrov -- An introduction to PX / Susumu Hayashi."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/22166089> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22166089#Series/ut_year_of_programming_series> ; # UT year of programming series.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22166089#Series/the_ut_year_of_programming_series> ; # The UT year of programming series
   schema:isSimilarTo <http://www.worldcat.org/oclc/651722802> ;
   schema:name "Logical foundations of functional programming"@en ;
   schema:productID "20220701" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20220701#PublicationEvent/reading_mass_addison_wesley_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/22166089#Agent/addison_wesley> ; # Addison-Wesley
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=002594588&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9780201172348> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20220701> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/22166089#Agent/addison_wesley> # Addison-Wesley
    a bgn:Agent ;
   schema:name "Addison-Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/22166089#Person/huet_gerard> # Gérard Huet
    a schema:Person ;
   schema:familyName "Huet" ;
   schema:givenName "Gérard" ;
   schema:name "Gérard Huet" ;
    .

<http://experiment.worldcat.org/entity/work/data/22166089#Series/the_ut_year_of_programming_series> # The UT year of programming series
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20220701> ; # Logical foundations of functional programming
   schema:name "The UT year of programming series" ;
    .

<http://experiment.worldcat.org/entity/work/data/22166089#Series/ut_year_of_programming_series> # UT year of programming series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20220701> ; # Logical foundations of functional programming
   schema:name "UT year of programming series." ;
    .

<http://experiment.worldcat.org/entity/work/data/22166089#Topic/caml_light_langage_de_programmation> # Caml Light (langage de programmation)
    a schema:Intangible ;
   schema:name "Caml Light (langage de programmation)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/22166089#Topic/programmation_fonctionnelle> # Programmation fonctionnelle
    a schema:Intangible ;
   schema:name "Programmation fonctionnelle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/22166089#Topic/programmation_fonctionnelle_informatique> # Programmation fonctionnelle (informatique)
    a schema:Intangible ;
   schema:name "Programmation fonctionnelle (informatique)"@en ;
    .

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

<http://worldcat.org/isbn/9780201172348>
    a schema:ProductModel ;
   schema:isbn "0201172348" ;
   schema:isbn "9780201172348" ;
    .

<http://www.worldcat.org/oclc/651722802>
    a schema:CreativeWork ;
   rdfs:label "Logical foundations of functional programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20220701> ; # Logical foundations of functional programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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