Abstract

Research will be carried out on the design, definition, and implementation of programming languages, with emphasis on type systems. Specific topics include the coherence of ontological definitions, the meaning of parametricity for polymorphic functions, and the unification of polymorphic and intersection types.

  Funding Agency

Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Application #
8922109
Program Officer
Forbes D. Lewis
Project Start
Project End
Budget Start
1990-06-15
Budget End
1993-11-30
Support Year
Fiscal Year
1989
Total Cost
$268,356
Indirect Cost

  Institution

Name
Carnegie-Mellon University
Department
Type
DUNS #
City
Pittsburgh
State
PA
Country
United States
Zip Code
15213