<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Multi-Stage Programming with Splice Variables

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 01 Jan 2025Publisher:Zenodo

Authors: Chiang, Tsung-Ju; Xie, Ningning;

doi: 10.5281/zenodo.15615436 , 10.5281/zenodo.15719807 , 10.5281/zenodo.15615437

Multi-Stage Programming with Splice Variables

- Summary
- Metrics

Abstract

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: Extract vm-image.zip. Follow the instructions in the included README file.

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average