Artifact Details

Title

Type Subsumption as a Model of Computation

Catalog Number

102719407

Type

Text

Date

1986

Author

Ait-Kaci, Hassan

Publisher

Pennsylvania, University of

Extent

1 folder

Description

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

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