Hybrid Intersection Types for PCF.

Pablo Barenbaum, Delia Kesner, Mariana Milicich

Browse the full LPAR paper archive.