The following pages link to Optimistic evaluation (Q5261284):
Displaying 5 items.
- Compromise programming: non-interactive calibration of utility-based metrics (Q319397) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Pruning with improving sequences in lazy functional programs (Q1929352) (← links)
- Structure and properties of traces for functional programs (Q2867898) (← links)
- Complete laziness: a natural semantics (Q2873681) (← links)