Concepedia
Partial Evaluation and Semantic-Based Program Manipulation · 1992 · 10 citations · 0 references
Order TheoryComputational Complexity TheoryEngineeringAutomated ReasoningFormal MethodsComputational ComplexityComputer ScienceLazy Higher-order Removal