17 search results - page 4 / 4 » Unification in a Lambda-Calculus with Intersection Types |
ENTCS
2002
13 years 5 months ago
2002
We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assign...
ENTCS
2002
13 years 5 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...