<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

The Core language of Juvix

Name: The Core language of Juvix
Creator: Lukasz Czajka
Keywords: Functional programming, Compilers, Juvix, Language specification, Lambda Calculus

descriptionPublicationkeyboard_double_arrow_right Report 29 Aug 2023 English Publisher:Zenodo

Authors: Lukasz Czajka;

doi: 10.5281/zenodo.8268850 , 10.5281/zenodo.8268849 , 10.5281/zenodo.8297159

The Core language of Juvix

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

Abstract

We describe JuvixCore -- a minimalistic intermediate functional language to which Juvix desugars. We specify precisely and abstractly JuvixCore syntax, evaluation semantics, and the current optional type system. We comment on the relationship between this specification and the actual implementation. We also explain the role JuvixCore plays in the Juvix compilation pipeline. Finally, we compare the language features available in JuvixCore with those in Juvix and other popular functional languages.

This report relies on Juvix v0.4.3 and earlier versions after v0.2.4.

Keywords

Functional programming, Compilers, Juvix, Language specification, Lambda Calculus

4 Research products, page 1 of 1

taiga software on GitHub
IsRelatedTo
geb software on GitHub
IsRelatedTo
vamp-ir software on GitHub
IsRelatedTo
JURIX2022 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