@dblp

A Safe Approach to Parallel Combinator Reduction (Extended Abstract).

, , and . ESOP, volume 213 of Lecture Notes in Computer Science, page 99-110. Springer, (1986)

Links and resources

Tags