@inproceedings{yin_et_al:LIPIcs.LICS.2026.83,
  title = "{Contextual MetaML: Syntax and Full Abstraction}",
  author = "Yin, Haoxuan and Murawski, Andrzej S. and Ong, C.-H. Luke",
  year = "2026",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Metaprogramming, operational game semantics, trace model, contextual modal type theory",
  booktitle = "41st Annual Symposium on Logic in Computer Science (LICS 2026)",
  editor = "Faggian, Claudia and Katoen, Joost-Pieter",
  isbn = "978-3-95977-434-5",
  issn = "1868-8969",
  pages = "83:1--83:27",
  publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.83",
  volume = "380",
  doi = "10.4230/LIPIcs.LICS.2026.83",
}