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.