Safe Explicitly Staged Programming
Frank Pfenning
Carnegie Mellon University
Joint work with Peter Lee, Rowan Davies,
Aleksandar Nanevski, and Philip Wickline