1. Aspinall, D., Hofmann, M.: Dependent types. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, chap. 2. MIT press, Cambridge (2005)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Benaissa, Z.E.A., Moggi, E., Taha, W., Sheard, T.: Logical modalities and multi-stage programming. In: Federated Logic Conference (FLoC) Satellite Workshop on Intuitionistic Modal Logics and Applications (IMLA) (1999)
4. Berger, M., Tratt, L.: Program logics for homogeneous generative run-time meta-programming. Logical Methods Comput. Sci. 11(1) (2015).
https://lmcs.episciences.org/929
5. Brady, E., Hammond, K.: Dependently typed meta-programming. In: Trends in Functional Programming (2006)