Stem thunk$ (all stems)
2 papers:
- SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics
- Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
- WSA-1992-DanvyH
- Thunks (Continued) (OD, JH), pp. 3–11.