README
staged
Staged compilation with two-level type theory.
- ICFP 2024 paper. Code supplement.
- ICFP 2022 paper. Includes a proof of correctness of staging. Appendix. Demo implementation, together with a tutorial and some code examples. Has an efficient staging implementation and powerful inference for stage annotations.
Older material, somewhat obsolete now:
Contributors
AndrasKovacs
345 commits
Similar repos
Languages
TeX
80.5%
Haskell
8.2%
Agda
5.0%
C
2.0%
JavaScript
2.0%
Assembly
1.0%
README
staged
Staged compilation with two-level type theory.
- ICFP 2024 paper. Code supplement.
- ICFP 2022 paper. Includes a proof of correctness of staging. Appendix. Demo implementation, together with a tutorial and some code examples. Has an efficient staging implementation and powerful inference for stage annotations.
Older material, somewhat obsolete now:
Similar repos
Contributors
AndrasKovacs
345 commits
Languages
TeX
80.5%
Haskell
8.2%
Agda
5.0%
C
2.0%
JavaScript
2.0%
Assembly
1.0%