Multi-Stage Programming with Splice Variables

Agda formalization accompanying the ICFP 2025 paper "Multi-Stage Programming with Splice Variables" by Tsung-Ju Chiang and Ningning Xie.

Developed with Agda 2.7.0.1 and agda-stdlib version 2.2.

Files:

• artifact.zip: Source code for the formalization.
• vm-image.zip: A virtual machine with the source code, Agda, and the standard library preinstalled.

To use the VM:

1. Extract vm-image.zip.

2. Follow the instructions in the included README file.