Artifact Details

Title

Constrained quantification in polymorphic type analysis

Catalog Number

102786348

Type

Document

Date

1990-02

Author

Curtis, Pavel

Publisher

Xerox PARC (Palo Alto Research Center)

Identifying Numbers

Document number CSL-90-1
Other number P90-00046

Extent

184 p.

Category

Manual

Credit

Gift of Robert (Bob) Hagmann

Lot Number

X7029.2014