PCES PI Meeting
Feb 2001
33
Reflective Programming
•Extension by pattern matching against expressions
[Nanevski & Pfenning]
•Intensional
interpretation guarantees soundness
•Less
efficient to implement but more expressive
•Meta-ML
[Taha et al. ‘99,’00] incorporates modal and temporal types