• Zhang Y and Amin N. (2022). Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion. Proceedings of the ACM on Programming Languages. 6:POPL. (1-28). Online publication date: 16-Jan-2022.

    https://doi.org/10.1145/3498677

  • Patrignani M, Ahmed A and Clarke D. (2019). Formal Approaches to Secure Compilation. ACM Computing Surveys. 51:6. (1-36). Online publication date: 30-Nov-2019.

    https://doi.org/10.1145/3280984

  • Farmer W. (2018). Incorporating quotation and evaluation into Church's type theory. Information and Computation. 260:C. (9-50). Online publication date: 1-Jun-2018.

    https://doi.org/10.1016/j.ic.2018.03.001

  • Kavvos G. On the Semantics of Intensionality. Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203. (550-566).

    https://doi.org/10.1007/978-3-662-54458-7_32

  • Kameyama Y, Kiselyov O and Shan C. (2015). Combinators for impure yet hygienic code generation. Science of Computer Programming. 112:P2. (120-144). Online publication date: 15-Nov-2015.

    https://doi.org/10.1016/j.scico.2015.08.007

  • Larmuseau A, Patrignani M and Clarke D. A High-Level Model for an Assembly Language Attacker by Means of Reflection. Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - Volume 9409. (168-182).

    https://doi.org/10.1007/978-3-319-25942-0_11

  • Larmuseau A, Patrignani M and Clarke D. Operational Semantics for Secure Interoperation. Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. (40-52).

    https://doi.org/10.1145/2637113.2637118

  • Zhu K, Dantas D, Fisher K, Jia L, Mandelbaum Y, Pai V and Walker D. Language support for processing distributed ad hoc data. Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. (243-254).

    https://doi.org/10.1145/1599410.1599440

  • Stump A. (2009). Directly reflective meta-programming. Higher-Order and Symbolic Computation. 22:2. (115-144). Online publication date: 1-Jun-2009.

    https://doi.org/10.1007/s10990-007-9022-0

  • Culpepper R and Felleisen M. Debugging macros. Proceedings of the 6th international conference on Generative programming and component engineering. (135-144).

    https://doi.org/10.1145/1289971.1289994

  • Syme D. Leveraging .NET meta-programming components from F#. Proceedings of the 2006 workshop on ML. (43-54).

    https://doi.org/10.1145/1159876.1159884

  • Taha W and Nielsen M. (2003). Environment classifiers. ACM SIGPLAN Notices. 38:1. (26-37). Online publication date: 15-Jan-2003.

    https://doi.org/10.1145/640128.604134

  • Taha W and Nielsen M. Environment classifiers. Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (26-37).

    https://doi.org/10.1145/604131.604134

  • Ganz S, Sabry A and Taha W. (2001). Macros as multi-stage computations. ACM SIGPLAN Notices. 36:10. (74-85). Online publication date: 1-Oct-2001.

    https://doi.org/10.1145/507669.507646

  • Ganz S, Sabry A and Taha W. Macros as multi-stage computations. Proceedings of the sixth ACM SIGPLAN international conference on Functional programming. (74-85).

    https://doi.org/10.1145/507635.507646

  • Douence R and Südholt M. (2001). A Generic Reification Technique for Object-Oriented Reflective Languages. Higher-Order and Symbolic Computation. 14:1. (7-34). Online publication date: 1-Mar-2001.

    https://doi.org/10.1023/A:1011549115358

  • Taha W. A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival. Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. (34-43).

    https://doi.org/10.1145/328690.328697

  • Taha W. (1999). A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival. ACM SIGPLAN Notices. 34:11. (34-43). Online publication date: 1-Nov-1999.

    https://doi.org/10.1145/328691.328697