The following pages link to Thunks (Q3277720):
Displaying 6 items.
- Parameter passing in nondeterministic recursive programs (Q1131833) (← links)
- On the call-by-value CPS transform and its semantics (Q1887170) (← links)
- Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine (Q3625516) (← links)
- Ackermann's function: A study in the efficiency of calling procedures (Q4086685) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Lazy rewriting and eager machinery (Q5055828) (← links)
