PCES PI Meeting
Feb 2001
42
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