Published June 4, 2022 | Version 1.1
Software Open

Supplementary artifact for the paper "Staged Compilation with Two-Level Type Theory"

Authors/Creators

  • 1. Eötvös Loránd University

Description

Supplementary artifact for the paper "Staged Compilation with Two-Level Type Theory", accepted by ICFP 2022 Artifact Evaluation.

Also on github: https://github.com/AndrasKovacs/staged

Files

Files (3.2 GB)

Name Size
md5:1cb607af8abe0c3eb6e4083cd3502b59
3.2 GB Download
md5:a7287b3fcc8fb97a09a2480e18bfa04d
33.6 kB Download