Loading...
Please wait, while we are loading the content...
Similar Documents
Soft Typing with Conditional Types (1994)
| Content Provider | CiteSeerX |
|---|---|
| Author | Aiken, Alexander Lakshman, T. K. Wimmers, Edward L. |
| Description | In Principles of Programming Languages (POPL |
| Abstract | We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by the user. Type inference is reduced to the problem of solvability of a system of type inclusion con-straints over a type language that includes function types, constructor types, union, intersection, and recursive types, and conditional types. Conditional types enable us to ana-lyze control ow using type inference, thus facilitating com-putation of accurate types. We demonstrate the power and practicality of the method with examples and performance results from an implementation. 1 |
| File Format | |
| Publisher Date | 1994-01-01 |
| Access Restriction | Open |
| Subject Keyword | Powerful Type Inference Method Function Type Constructor Type Type Information Type Inclusion Con-straints Type Inference Type Language Accurate Type Performance Result Conditional Type Ana-lyze Control Recursive Type |
| Content Type | Text |
