330 search results - page 19 / 66 » Intersection and Union Types |
143
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
121
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
116
click to vote
HOA
1993
15 years 6 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
94
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
133
Voted
RTA
2007
Springer
15 years 8 months ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...