HALLETT III JOSEPH J

Method and apparatus for expressing and checking relationships between types