A Typed Lambda Calculus with Gradual Intersection Types.

Pedro ngelo, Mrio Florido

Browse the full PPDP paper archive.