Research Catalog

Logical foundations of functional programming

Title
Logical foundations of functional programming / edited by Gérard Huet.
Publication
Reading, Mass. : Addison-Wesley, 1990.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance QA76.62 .L64 1990Off-site

Holdings

Details

Additional Authors
Huet, Gérard
Description
xvi, 491 pages : illustrations; 24 cm.
Series Statement
The UT year of programming series
Uniform Title
UT year of programming series.
Subject
Functional programming (Computer science)
Bibliography (note)
  • Includes bibliographical references.
ISBN
0201172348
LCCN
89017772
OCLC
  • 20220701
  • ocm20220701
Owning Institutions
Columbia University Libraries