Thunk recycling for lazy functional languages: operational semantics and correctness.

Yasunao Takano, Hideya Iwasaki

Browse the full SAC paper archive.