A conflict between call-by-need computation and parallelism

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_15 ◽

1995 ◽

pp. 247-261 ◽

Author(s):

Richard Kennaway

Download Full-text