DMCA
Soft typing with conditional types (1994)
Cached
Download Links
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.berkeley.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Twenty-First Annual ACM Symposium on Principles of Programming Languages |
| Citations: | 196 - 15 self |
BibTeX
@INPROCEEDINGS{Aiken94softtyping,
author = {Er Aiken},
title = {Soft typing with conditional types},
booktitle = {In Twenty-First Annual ACM Symposium on Principles of Programming Languages},
year = {1994},
pages = {163--173}
}
Share
 |
 |
 |
 |
||
OpenURL
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 constraints over a type language that includes function types, constructor types, union, intersection, and recursive types, and conditional types. Conditional types enable us to analyze control flow using type inference, thus facilitating computation of accurate types. We demonstrate the power and practicrdity of the method with examples and performance results from an implementation. 1
