Exact Intersection Typing Inference and Call-by-Name Evaluation (2004)

Cached

Download Links

by Adam Bakewell Sebastien , Sébastien Carlier , A. J. Kfoury , J. B. Wells