Intersection Types via Finite-Set Declarations.

Fairouz Kamareddine, Joe B. Wells

Browse the full WoLLIC paper archive.