William Maddox

Learn More
Conventional procedure and type deenition mechanisms are not suuciently powerful to express many programming abstractions that can be captured by syntactic transformations. Unfortunately, conventional macroprocessing is oblivious to the semantics of the base language, resulting in scoping anomalies, poor handling of static semantic errors, and an inability(More)
  • 1