WG211/M2Smaragdakis
From WG 2.11
Revision as of 10:19, 1 December 2011 by Twiki (talk) (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...")
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.
