Accession Number:

ADA238428

Title:

Type Theory and Programming Languages

Descriptive Note:

Final rept. 1 Aug 88-31 Sep 89.

Corporate Author:

PENNSYLVANIA UNIV PHILADELPHIA SCHOOL OF ENGINEERING AND APPLIED SCIENCE

Personal Author(s):

Report Date:

1991-07-09

Pagination or Media Count:

7.0

Abstract:

Subject Categories:

  • Information Science

Distribution Statement:

APPROVED FOR PUBLIC RELEASE