Start with Pfenning and Lee: LEAP: A language with eval and polymorphism http://scholar.google.com/scholar?cluster=6986361432559638755 http://scholar.google.co

Start with Pfenning and Lee: LEAP: A language with eval and polymorphism http://scholar.google.com/scholar?cluster=6986361432559638755 http://scholar.google.com/scholar?cluster=698636143255963875... Pfenning follows that up with more advances, leading up to Staged Computation; various techniques at the intersection of reflection, partial-evaluation and typing. The most recent studies on EVAL in the context of statically-typed languages make use of GADTs.