Summary
•
Logical and type-theoretic foundation for staged
computation
•
Implementation as run-time code generation or
reflective programming
•
Applications in complex systems where tensions
between modularity, safety, and efficiency are
greatest