The Logic and Expressibility of Simply-typed Call-by-value and Lazy Languages (1991)

Cached

Download Links

by Albert R. Meyer , Campbell L. Searle , Jon G. Riecke , Jon Gary Riecke