Difference between revisions of "WG211/M2Smaragdakis"
From WG 2.11
(Created page with "Category:WG211 Title: Statically Safe Meta-Programming<BR> Yannis Smaragdakis Abstract: Current meta-programming systems either offer little guarantee of semantic well-for...") |
m (1 revision) |
(No difference)
| |
Latest revision as of 11:06, 12 December 2011
Title:
Statically Safe Meta-Programming
Yannis Smaragdakis
Abstract: Current meta-programming systems either offer little guarantee of semantic well-formedness of the generated program (e.g., no type safety guarantee) or impose significant restrictions on what kinds of programs can be generated. This talks overviews existing points in the design space and discusses how the boundaries can be pushed to provide powerful yet guaranteed safe meta-programming.
