The following pages link to (Q4038656):
Displaying 6 items.
- Semantics-directed compilation of nonlinear patterns (Q756408) (← links)
- Automatic binding time analysis for a typed \(\lambda\)-calculus (Q1107512) (← links)
- Automatic autoprojection of higher order recursive equations (Q1183551) (← links)
- Safety analysis versus type inference for partial types (Q1199876) (← links)
- A partial evaluator for a parallel lambda language (Q1372879) (← links)
- (Q4339951) (← links)