The following pages link to (Q4446264):
Displaying 9 items.
- Preliminary arrangements of arguments in lazy evaluation (Q756403) (← links)
- An operational semantics of sharing in lazy evaluation (Q1126266) (← links)
- Cost-augmented partial evaluation of functional logic programs (Q1768472) (← links)
- (Q2763636) (← links)
- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation (Q2915102) (← links)
- (Q3372480) (← links)
- Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
- (Q4287481) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)