The following pages link to (Q4038724):
Displaying 8 items.
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- An investigation of Jones optimality and BTI-universal specializers (Q1029807) (← links)
- Automatic autoprojection of recursive equations with global variables and abstract data types (Q1183547) (← links)
- The development of a partial evaluator for extended lambda calculus (Q1264617) (← links)
- Correctness of on-line partial evaluation for a Pascal-like language (Q1806129) (← links)
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- Topics in semantics-based program manipulation (Q2763534) (← links)
- Partial Types and Intervals (Q3474631) (← links)