Artifact Details

Title

Type Subsumption as a Model of Computation

Catalog Number

102719407

Type

Document

Description

Paper on the design of a programming language base on calculus of type subsumption.

Date

1986

Author

Ait-Kaci, Hassan

Publisher

Pennsylvania, University of

Extent

1 folder

Category

Memoranda

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010