|
|||||
|
|
Polymorphic type inference and containment |
|
| Authors: | John C Mitchell |
| Abstract: | Type expressions may be used to describe the functional behavior of untyped lambda terms. We present a general semantics of polymorphic type expressions over models of untyped lambda calculus and give complete rules for inferring types for terms. Some simplified typing theories are studied in more detail, and containments between types are investigated. |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |