Contextual MetaML: Syntax and Full Abstraction
Haoxuan Yin‚ Andrzej S. Murawski and C.−H. Luke Ong
Address
Dagstuhl‚ Germany
Annote
Keywords: Metaprogramming‚ operational game semantics‚ trace model‚ contextual modal type theory
Book Title
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ür Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
380
Year
2026