On Types and Type Consistency in Logic Programming

Front Cover
Gregor Meyer
IOS Press, Oct 1, 2000 - Computers - 176 pages
0 Reviews
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
Dimensions of Typing in Logic Programming
7
Polymorphic Feature Typcs
31
Typo Constraints Reconsidered
75
Types as Approximations and Consistency Annotations
85
Type Consistency with Subtypes and Parametric Polymorphism
97
Type Inferencing
131
Conclusions and Outlook
143
B The grammar for type definitions in LOT
151
Bibliography
165
Index
175
Copyright

Common terms and phrases

Bibliographic information