The following pages link to WSDFU (Q14902):
Displaying 7 items.
- An investigation of Jones optimality and BTI-universal specializers (Q1029807) (← links)
- Positive supercompilation for a higher-order call-by-value language (Q2786119) (← links)
- Maximally-Polyvariant Partial Evaluation in Polynomial Time (Q3179173) (← links)
- (Q4414737) (← links)
- (Q4472536) (← links)
- (Q4472539) (← links)
- Program transformation system based on generalized partial computation (Q5957059) (← links)