Inferring intersection typings that are equivalent to call-by-name and call-by-value evaluations (2005)

Cached

Download Links

by Adam Bakewell , Sébastien Carlier , A. J. Kfoury , J. B. Wells
Citations:4 - 1 self