A. Taha

Suggest Changes
Learn More
We introduce MetaML, a statically-typed multi-stage programming language extending Nielson and Nielson's two stage notation to an arbitrary number of stages. MetaML extends previous work by(More)
  • 1