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