Next:
Type Definition
Up:
Types in Unification
Previous:
Procedural Types
Typed Features: define-feature-type
Type Definition
The under Family of Constructs
Drawing Type Hierarchies
Michael Elhadad - elhadad@cs.bgu.ac.il
