Pages that link to "Item:Q4001863"
From MaRDI portal
The following pages link to Projection Factorisations in Partial Evaluation (Q4001863):
Displaying 8 items.
- Automatic autoprojection of recursive equations with global variables and abstract data types (Q1183547) (← links)
- Automatic autoprojection of higher order recursive equations (Q1183551) (← links)
- Two-level languages for program optimization (Q1826626) (← links)
- Topics in semantics-based program manipulation (Q2763534) (← links)
- Subfactor projections. (Q2921097) (← links)
- (Q4339951) (← links)
- Projections for polymorphic strictness analysis (Q5096253) (← links)
- Generalized partial computation using disunification to solve constraints (Q5881205) (← links)