Abstract | ||
---|---|---|
Abstract: We present a type system featuring intersection types and !, a type constant whichis assigned to unused terms. We exploit and extend the technology of expansionvariables from the recently developed System I, with which we believe our systemshares many interesting properties, such as strong normalization, principal typings,and compositional analysis. Our presentation emphasizes a polarity discipline andshows its benets. We syntactically distinguish positive and negative types, and give... |
Year | Venue | Keywords |
---|---|---|
2002 | Electr. Notes Theor. Comput. Sci. | type system,type inference |
DocType | Volume | Issue |
Journal | 70 | 1 |
Citations | PageRank | References |
3 | 0.42 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sébastien Carlier | 1 | 28 | 2.64 |