What people are saying - Write a review
We haven't found any reviews in the usual places.
Dimensions of Typing in Logic Programming
Polymorphic Feature Typcs
Typo Constraints Reconsidered
Types as Approximations and Consistency Annotations
Type Consistency with Subtypes and Parametric Polymorphism
Admissibility condition algorithm applied arity atom Chapter closed interpretation constructor declarations constructor types defined detected dimension disjoint domain example expression feature declaration feature terms feature types ftype functional programming given greatest lower bound Horn clauses implementation intended model ISBN least type least upper bound list(T negint nelist numbers numerpr pairwise distinct parametric polymorphism parametric types partial order partially ordered set posint predicate declarations prescriptive typing principal type principal upper matcher programming errors programming languages Prolog restrictions run-time satisfiable semantics set of type static type checking subgoal subtype axioms subtypes and parametric supertypes syntactical type annotations type conjunction type constraints type correctness type definitions type error type hierarchy type inference type inferencing type language type order type parameters type reductions type signature type substitution type symbols type system type terms type variables typed logic types as approximations Typical typing rules variable typing weakly type consistent well-typed