Abstract
We show how the principal typing property of the rank 2 intersection type system enables the specification of a modular and polyvariant control-flow analysis.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have