Manifest Contracts with Intersection Types.

Yuki Nishida, Atsushi Igarashi

Browse the full APLAS paper archive.