<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

Rethinking VampIR

Name: Rethinking VampIR
Creator: Hart, Anthony
Keywords: VampIR, Compilers, Arithmetic Circuits, Proposals

descriptionPublicationkeyboard_double_arrow_right Report 29 Aug 2023 English Publisher:Zenodo

Authors: Hart, Anthony;

doi: 10.5281/zenodo.8262815 , 10.5281/zenodo.8262814

Rethinking VampIR

- Summary
- Subjects
- Related research
  (5)
- Metrics

Abstract

This paper provides an overview of VampIR v0.1.3 and outlines potential modifications for future versions. Specifically, it contains proposals for streamlined versions of the fresh function and constraint generation, a proposal for removing the type system, and a short proposal for dealing with imports. It ends with an overview of implementation improvements made in light of the Haskell port.

This document is based on VampIR v0.1.3.

Keywords

VampIR, Compilers, Arithmetic Circuits, Proposals

5 Research products, page 1 of 1

taiga software on GitHub
IsRelatedTo
vamp-ir software on GitHub
IsRelatedTo
juvix software on GitHub
IsRelatedTo
VampIR-Book software on GitHub
IsRelatedTo
vamp-ir-haskell software on GitHub
IsRelatedTo

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).	0
	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