Applicative Intersection Types.

Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie

Browse the full APLAS paper archive.