BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logical Foundations of Functional Programming
Stock photo: cover may vary

Logical Foundations of Functional Programming Hardback - 1990

by Gerard Huet (Editor)

Add to wish list

Reader reviews for Logical Foundations of Functional Programming

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

Details

  • Title Logical Foundations of Functional Programming
  • Author Gerard Huet (Editor)
  • Binding Hardback
  • Edition [The UT Year of
  • Pages 491
  • Volumes 1
  • Language ENG
  • Publisher Addison Wesley Publishing Company, Reading, MA, et al.
  • Publication date 1990-04
  • Illustrated Yes
  • ISBN 9780201172348 / 0201172348
  • Weight 1.81 lbs (0.82 kg)
  • Dimensions 9.51 x 6.61 x 0.91 in (24.16 x 16.79 x 2.31 cm)
  • Category Philosophy
  • Library of Congress subjects Functional programming (Computer science)
  • Library of Congress Catalogue Number 89-17772
  • Dewey Decimal Code 005.11
Back to top↑

More Copies for Sale

Logical Foundations of Functional Programming
More photos

Logical Foundations of Functional Programming:  (UT Year of Programming Series)

by Gerard Huet, Editor

  • Used
  • Hardback
  • first
Condition
Near Fine to Fine. Clean, sharp first‑edition copy with tight binding and unmarked text. Boards and spine show minimal handlin
Binding
Hardcover
ISBN 10 / ISBN 13
9780201172348 / 0201172348
Quantity available
1
Seller
Robert McLean
Item price
A$577.79
A$14.48 Delivery to USA

Show details

Description:
Logical Foundations of Functional Programming
Edited by Gérard Huet UT Year of Programming Series Addison‑Wesley Publishing Company, First Edition, 1990 Language: English ISBN 10: 0201172348 ISBN 13: 9780201172348
Book Description
A collected volume presenting foundational research in the theory of functional programming, with contributions addressing typed lambda calculi, rewriting systems, program transformation, semantics, and the logical underpinnings of functional languages. Edited by Gérard Huet, the volume reflects the state of the field at a formative moment when functional programming was transitioning from theoretical frameworks to practical language design. The book is part of the Hassan Aït‑Kaci archive, aligning closely with his work in unification theory, typed calculi, and the logical structure of programming languages.
Add to wish list
Item price
A$577.79
A$14.48 Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.