Types in Logic Programming [Logic Programming]

The Book Forest
(3107)
Seller's other items
Contact seller
US $299.99
ApproximatelyRM 1,233.62
Condition:
Like New
2 available
Breathe easy. Returns accepted.
Shipping:
US $3.99 (approx RM 16.41) USPS Media MailTM.
Located in: San Rafael, California, United States
Delivery:
Estimated between Tue, 9 Dec and Thu, 11 Dec to 94104
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the shipping service selected, the seller's shipping history, and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:167216065374
Last updated on Nov 07, 2025 11:41:36 MYTView all revisionsView all revisions

Item specifics

Condition
Like New: A book in excellent condition. Cover is shiny and undamaged, and the dust jacket is ...
Book Title
Types in Logic Programming (Logic Programming)
ISBN
9780262161312
Category

About this product

Product Identifiers

Publisher
MIT Press
ISBN-10
0262161311
ISBN-13
9780262161312
eBay Product ID (ePID)
58190

Product Key Features

Number of Pages
380 Pages
Language
English
Publication Name
Types in Logic Programming
Subject
Programming Languages / General, Logic Design
Publication Year
1992
Type
Textbook
Subject Area
Computers
Author
Frank Pfenning
Series
Logic Programming Ser.
Format
Hardcover

Dimensions

Item Height
1.1 in
Item Weight
30.2 Oz
Item Length
9 in
Item Width
7.2 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
92-013988
Dewey Edition
20
Grade From
College Graduate Student
Illustrated
Yes
Dewey Decimal
005.11
Synopsis
Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming., This collection of original research papers assesses and summarizes the impact of types on logic programming., This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this collection describes these benefits as well as important differences in the impact of types in functional and logic programming.

Item description from the seller

About this seller

The Book Forest

99.8% positive feedback•7.4K items sold

Joined Feb 2007
Welcome to The Book Forest! Please feel free to hike through our large selection of books, CD's, DVD's, VHS and audio books.We now offer tons of other goodies in our Garage Sale link.
Visit storeContact

Detailed Seller Ratings

Average for the last 12 months
Accurate description
4.9
Reasonable shipping cost
5.0
Shipping speed
5.0
Communication
5.0

Seller feedback (2,962)

All ratingsselected
Positive
Neutral
Negative
  • 2***o (216)- Feedback left by buyer.
    Past year
    Verified purchase
    As described in perfect condition no damage to whole lot handled with care very good price package with bubble wrap appearance fantastic very brand new quality fantastic fantastic definently recommend ships rite away no waiting AAA+++ definently coming back thank you seller
    Space 1999: Megaset [DVD] (#156355852615)
  • i***l (199)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    My books arrived quickly and were well-packaged. Books were in excellent condition as described. Would definitely purchase from this seller again.
    The Complete Calvin and Hobbes (#157254450034)
  • r***- (31)- Feedback left by buyer.
    Past 6 months
    Verified purchase
    Nice book as described, reasonable price, strong package, fast delivery. Highly recommended!
    The Opening of Tibet (#166384247175)
See all feedback

More to explore :