Artifact for "Mechanised Semantics of Multi-Stage Programming"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Ka Wing Li, Maite Kramarz, Ningning Xie, Jeremy Yallop
DOI: 10.5281/zenodo.18307307
Cited by: 1

Abstract

This is the artifact of the OOPSLA 2026 paper "Mechanised Semantics of Multi-Stage Programming."

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
1 January 2026