Compiler implementation

For readers interested in the internal workings of the Juvix compiler, the following technical reports describe important parts of the compilation pipeline.

Title	Doi/url	Date
Compiling Juvix to Cairo assembly	10.5281/zenodo.13739343	Sep 10, 2024
The Core language of Juvix	10.5281/zenodo.8297159	Aug 29, 2023
Rethinking VampIR	10.5281/zenodo.8262815	Aug 29, 2023
Geb Pipeline	10.5281/zenodo.8262747	Aug 21, 2023
Juvix to VampIR Pipeline	10.5281/zenodo.8268823	Aug 14, 2023