3 ms·
I am interested in this topic; eval in the context of static typing. Is there a paper on it?
by krichman 14y ago
I am interested in this topic; eval in the context of static typing. Is there a paper on it?
- mahmud 14y agoStart 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.
- krichman 14y agoThank you :)