A Monadic Multi-stage Metalanguage

@inproceedings{Moggi2003AMM,
  title={A Monadic Multi-stage Metalanguage},
  author={Eugenio Moggi and Sonia Fagorzi},
  booktitle={FoSSaCS},
  year={2003}
}
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-level binding-time analysis). The main contribution of the paper is an operational semantics which is sufficiently detailed for analyzing subtle aspects of multi-stage programming, but also intuitive enough to serve as a reference semantics. For instance, the separation of computational types from code types, makes… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS
24 Citations
26 References
Similar Papers

Similar Papers

Loading similar papers…