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